Anne is quiet. Charlie is red. Charlie is rough. Fiona is big. Fiona is quiet. Fiona is red. Fiona is young. Harry is quiet. Harry is red. Harry is young. If something is red then it is big. Furry, rough things are red. Quiet, kind things are rough. All rough, quiet things are young. Red things are young. Big things are quiet. All furry things are kind. If something is quiet then it is furry. If Charlie is furry and Charlie is red then Charlie is rough.
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is red then it is big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
Furry, rough things are red.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Quiet, kind things are rough.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
All rough, quiet things are young.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
Big things are quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
All furry things are kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
If something is quiet then it is furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If Charlie is furry and Charlie is red then Charlie is rough.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "red" "+")) -> ("Charlie" "is" "rough" "+"))
Charlie is red.
True
1
proof
[(triple2)]
("Charlie" "is" "red" "+")
triple2
Anne is not quiet.
False
1
inv-proof
[(triple1)]
("Anne" "is" "quiet" "-")
triple1
Fiona is furry.
True
2
proof
[(((triple5) -> rule8) OR ((((triple4) -> rule6)) -> rule8) OR ((((((triple6) -> rule1)) -> rule6)) -> rule8))]
("Fiona" "is" "furry" "+")
((triple5) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not furry.
False
2
inv-proof
[(((triple5) -> rule8) OR ((((triple4) -> rule6)) -> rule8) OR ((((((triple6) -> rule1)) -> rule6)) -> rule8))]
("Fiona" "is" "furry" "-")
((triple5) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Anne is kind.
True
3
proof
[(((((triple1) -> rule8)) -> rule7))]
("Anne" "is" "kind" "+")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Charlie is not quiet.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule6))]
("Charlie" "is" "quiet" "-")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Fiona is rough.
True
5
proof
[(((triple5 ((((triple5) -> rule8)) -> rule7)) -> rule3) OR ((((triple4) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3) OR ((((((triple6) -> rule1)) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3) OR ((triple5 ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((((triple4) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((((((triple6) -> rule1)) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((triple5 ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((((triple4) -> rule6) ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((((((triple6) -> rule1)) -> rule6) ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3))]
("Fiona" "is" "rough" "+")
((triple5 ((((triple5) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple4) -> (rule6 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple6) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple5 ((((((triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple4) -> (rule6 % int4)) ((((((triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple6) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple5 ((((((((triple6) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple4) -> (rule6 % int5)) ((((((((triple6) -> (rule1 % int4))) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple6) -> (rule1 % int5))) -> (rule6 % int4)) ((((((((triple6) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is not rough.
False
5
inv-proof
[(((triple5 ((((triple5) -> rule8)) -> rule7)) -> rule3) OR ((((triple4) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3) OR ((((((triple6) -> rule1)) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3) OR ((triple5 ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((((triple4) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((((((triple6) -> rule1)) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((triple5 ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((((triple4) -> rule6) ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((((((triple6) -> rule1)) -> rule6) ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3))]
("Fiona" "is" "rough" "-")
((triple5 ((((triple5) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple4) -> (rule6 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple6) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple5 ((((((triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple4) -> (rule6 % int4)) ((((((triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple6) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple5 ((((((((triple6) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple4) -> (rule6 % int5)) ((((((((triple6) -> (rule1 % int4))) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple6) -> (rule1 % int5))) -> (rule6 % int4)) ((((((((triple6) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Anne is young.
True
7
proof
[(((((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule3) triple1) -> rule4) OR ((((((triple1) -> rule8) ((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule5))]
("Anne" "is" "young" "+")
((((triple1 ((((triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple1) -> (rule8 % int5)) ((triple1 ((((triple1) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is not red.
False
8
inv-proof
[(((((triple1) -> rule8) ((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule3)) -> rule2))]
("Anne" "is" "red" "-")
((((triple1) -> (rule8 % int4)) ((triple1 ((((triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is big.
True
9
proof
[(((((((triple1) -> rule8) ((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule1))]
("Anne" "is" "big" "+")
((((((triple1) -> (rule8 % int5)) ((triple1 ((((triple1) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is not big.
False
9
inv-proof
[(((((((triple1) -> rule8) ((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule1))]
("Anne" "is" "big" "-")
((((((triple1) -> (rule8 % int5)) ((triple1 ((((triple1) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
@0: Anne is quiet.[(triple1)] Charlie is red.[(triple2)] Charlie is rough.[(triple3 OR ((((((((triple2) -> rule1)) -> rule6)) -> rule8) triple2) -> rule9) OR ((((((triple2) -> rule1)) -> rule6) ((((((((triple2) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3))] Fiona is big.[(triple4 OR ((triple6) -> rule1) OR ((((((triple5) -> rule8) ((triple5 ((((triple5) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule1))] Fiona is quiet.[(triple5 OR ((triple4) -> rule6) OR ((((triple6) -> rule1)) -> rule6))] Fiona is red.[(triple6 OR ((((triple5) -> rule8) ((triple5 ((((triple5) -> rule8)) -> rule7)) -> rule3)) -> rule2) OR ((((triple5) -> rule8) ((((triple4) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3)) -> rule2) OR ((((((triple4) -> rule6)) -> rule8) ((triple5 ((((triple5) -> rule8)) -> rule7)) -> rule3)) -> rule2) OR ((((((triple4) -> rule6)) -> rule8) ((((triple4) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3)) -> rule2) OR ((((triple5) -> rule8) ((triple5 ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3)) -> rule2) OR ((((triple5) -> rule8) ((((triple4) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3)) -> rule2) OR ((((((triple4) -> rule6)) -> rule8) ((triple5 ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3)) -> rule2) OR ((((((triple4) -> rule6)) -> rule8) ((((triple4) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3)) -> rule2))] Fiona is young.[(triple7 OR ((triple6) -> rule5) OR ((((triple5 ((((triple5) -> rule8)) -> rule7)) -> rule3) triple5) -> rule4) OR ((((triple5 ((((triple5) -> rule8)) -> rule7)) -> rule3) ((triple4) -> rule6)) -> rule4) OR ((((((triple4) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3) triple5) -> rule4) OR ((((triple5 ((((triple5) -> rule8)) -> rule7)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4) OR ((((((triple4) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3) ((triple4) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1)) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3) triple5) -> rule4) OR ((((((triple4) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1)) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3) ((triple4) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1)) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4) OR ((((triple5 ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) triple5) -> rule4) OR ((((((triple5) -> rule8) ((triple5 ((((triple5) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule5) OR ((((triple5 ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((triple4) -> rule6)) -> rule4) OR ((((((triple4) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) triple5) -> rule4) OR ((((((triple5) -> rule8) ((((triple4) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple4) -> rule6)) -> rule8) ((triple5 ((((triple5) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule5) OR ((((triple5 ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4) OR ((((((triple4) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((triple4) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1)) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) triple5) -> rule4) OR ((((((((triple4) -> rule6)) -> rule8) ((((triple4) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule5) OR ((((((triple4) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1)) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((triple4) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1)) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4) OR ((((triple5 ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) triple5) -> rule4) OR ((((((triple5) -> rule8) ((triple5 ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule5) OR ((((triple5 ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((triple4) -> rule6)) -> rule4) OR ((((((triple4) -> rule6) ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) triple5) -> rule4) OR ((((((triple5) -> rule8) ((((triple4) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple4) -> rule6)) -> rule8) ((triple5 ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule5) OR ((((triple5 ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4) OR ((((((triple4) -> rule6) ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((triple4) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1)) -> rule6) ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) triple5) -> rule4) OR ((((((((triple4) -> rule6)) -> rule8) ((((triple4) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule5) OR ((((((triple4) -> rule6) ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1)) -> rule6) ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((triple4) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1)) -> rule6) ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4))] Harry is quiet.[(triple8 OR ((((triple9) -> rule1)) -> rule6))] Harry is red.[(triple9 OR ((((triple8) -> rule8) ((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule3)) -> rule2))] Harry is young.[(triple10 OR ((triple9) -> rule5) OR ((((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule3) triple8) -> rule4) OR ((((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule3) ((((triple9) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple9) -> rule1)) -> rule6) ((((triple8) -> rule8)) -> rule7)) -> rule3) triple8) -> rule4) OR ((((((((triple9) -> rule1)) -> rule6) ((((triple8) -> rule8)) -> rule7)) -> rule3) ((((triple9) -> rule1)) -> rule6)) -> rule4) OR ((((((triple8) -> rule8) ((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule5) OR ((((triple8 ((((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) triple8) -> rule4) OR ((((triple8 ((((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((((triple9) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple9) -> rule1)) -> rule6) ((((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) triple8) -> rule4) OR ((((((((triple9) -> rule1)) -> rule6) ((((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((((triple9) -> rule1)) -> rule6)) -> rule4))] @1: Anne is furry.[(((triple1) -> rule8))] Charlie is big.[(((triple2) -> rule1))] Charlie is young.[(((triple2) -> rule5) OR ((triple3 ((((triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((((((triple2) -> rule1)) -> rule6)) -> rule8) triple2) -> rule9) ((((triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple2) -> rule1)) -> rule6) ((((((((triple2) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) ((((triple2) -> rule1)) -> rule6)) -> rule4))] Fiona is furry.[(((triple5) -> rule8) OR ((((triple4) -> rule6)) -> rule8) OR ((((((triple6) -> rule1)) -> rule6)) -> rule8))] Harry is big.[(((triple9) -> rule1) OR ((((((triple8) -> rule8) ((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule1))] Harry is furry.[(((triple8) -> rule8) OR ((((((triple9) -> rule1)) -> rule6)) -> rule8))] @2: Anne is kind.[(((((triple1) -> rule8)) -> rule7))] Charlie is quiet.[(((((triple2) -> rule1)) -> rule6))] Fiona is kind.[(((((triple5) -> rule8)) -> rule7) OR ((((((triple4) -> rule6)) -> rule8)) -> rule7) OR ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7))] Harry is kind.[(((((triple8) -> rule8)) -> rule7) OR ((((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7))] @3: Anne is rough.[(((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule3))] Charlie is furry.[(((((((triple2) -> rule1)) -> rule6)) -> rule8))] Fiona is rough.[(((triple5 ((((triple5) -> rule8)) -> rule7)) -> rule3) OR ((((triple4) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3) OR ((((((triple6) -> rule1)) -> rule6) ((((triple5) -> rule8)) -> rule7)) -> rule3) OR ((triple5 ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((((triple4) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((((((triple6) -> rule1)) -> rule6) ((((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((triple5 ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((((triple4) -> rule6) ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((((((triple6) -> rule1)) -> rule6) ((((((((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3))] Harry is rough.[(((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule3) OR ((((((triple9) -> rule1)) -> rule6) ((((triple8) -> rule8)) -> rule7)) -> rule3) OR ((triple8 ((((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3) OR ((((((triple9) -> rule1)) -> rule6) ((((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule3))] @4: Anne is red.[(((((triple1) -> rule8) ((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule3)) -> rule2))] Anne is young.[(((((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule3) triple1) -> rule4) OR ((((((triple1) -> rule8) ((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule5))] Charlie is kind.[(((((((((triple2) -> rule1)) -> rule6)) -> rule8)) -> rule7))] @5: Anne is big.[(((((((triple1) -> rule8) ((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule3)) -> rule2)) -> rule1))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
((((((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple2) -> (rule9 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple2) -> (rule1 % int5))) -> (rule6 % int4)) ((((((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
triple4
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((((triple5) -> (rule8 % int5)) ((triple5 ((((triple5) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
((triple4) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
triple6
((((triple5) -> (rule8 % int4)) ((triple5 ((((triple5) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple5) -> (rule8 % int5)) ((((triple4) -> (rule6 % int4)) ((((triple5) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((triple4) -> (rule6 % int5))) -> (rule8 % int4)) ((triple5 ((((triple5) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple4) -> (rule6 % int5))) -> (rule8 % int4)) ((((triple4) -> (rule6 % int5)) ((((triple5) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((triple5) -> (rule8 % int5)) ((triple5 ((((((triple4) -> (rule6 % int4))) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((triple5) -> (rule8 % int5)) ((((triple4) -> (rule6 % int4)) ((((((triple4) -> (rule6 % int4))) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((triple4) -> (rule6 % int5))) -> (rule8 % int4)) ((triple5 ((((((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple4) -> (rule6 % int5))) -> (rule8 % int4)) ((((triple4) -> (rule6 % int5)) ((((((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is young.
("Fiona" "is" "young" "+")
triple7
((triple6) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple5 ((((triple5) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple5 ((((triple5) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple4) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((triple4) -> (rule6 % int5)) ((((triple5) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((triple5 ((((triple5) -> (rule8 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
int6
((((((triple4) -> (rule6 % int5)) ((((triple5) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple4) -> (rule6 % int5))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5)) ((((triple5) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((((triple4) -> (rule6 % int6)) ((((triple5) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule1 % int2))) -> (rule6 % int6))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int6
((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5)) ((((triple5) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple4) -> (rule6 % int5))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5)) ((((triple5) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((((triple6) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((triple5 ((((((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple5) -> (rule8 % int5)) ((triple5 ((((triple5) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((triple5 ((((((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple4) -> (rule6 % int5))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple4) -> (rule6 % int5)) ((((((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple5) -> (rule8 % int6)) ((((triple4) -> (rule6 % int5)) ((((triple5) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
int6
((((((((triple4) -> (rule6 % int6))) -> (rule8 % int5)) ((triple5 ((((triple5) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int6
((((triple5 ((((((triple4) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule1 % int2))) -> (rule6 % int6))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int6
((((((triple4) -> (rule6 % int5)) ((((((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple4) -> (rule6 % int5))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5)) ((((((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((((((triple4) -> (rule6 % int6))) -> (rule8 % int5)) ((((triple4) -> (rule6 % int6)) ((((triple5) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int6
((((((triple4) -> (rule6 % int6)) ((((((triple4) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule1 % int2))) -> (rule6 % int6))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int6
((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5)) ((((((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple4) -> (rule6 % int5))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5)) ((((((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((((triple6) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((triple5 ((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((((triple5) -> (rule8 % int6)) ((triple5 ((((((triple4) -> (rule6 % int5))) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
int6
((((triple5 ((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple4) -> (rule6 % int5))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((((triple4) -> (rule6 % int6)) ((((((((triple6) -> (rule1 % int5))) -> (rule6 % int6))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int6
((((((triple5) -> (rule8 % int6)) ((((triple4) -> (rule6 % int5)) ((((((triple4) -> (rule6 % int5))) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
int6
((((((((triple4) -> (rule6 % int6))) -> (rule8 % int5)) ((triple5 ((((((triple4) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int6
((((triple5 ((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((((triple6) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((((triple4) -> (rule6 % int6)) ((((((((triple6) -> (rule1 % int5))) -> (rule6 % int6))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple4) -> (rule6 % int6))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int6
((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5)) ((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((((((triple4) -> (rule6 % int6))) -> (rule8 % int5)) ((((triple4) -> (rule6 % int6)) ((((((triple4) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int6
((((((triple4) -> (rule6 % int6)) ((((((((triple6) -> (rule1 % int5))) -> (rule6 % int6))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((((triple6) -> (rule1 % int5))) -> (rule6 % int6))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int6
((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5)) ((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple4) -> (rule6 % int5))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5)) ((((((((triple6) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((((triple6) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
((((triple9) -> (rule1 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
triple9
((((triple8) -> (rule8 % int4)) ((triple8 ((((triple8) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
triple10
((triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((triple8 ((((triple8) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple8) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple8 ((((triple8) -> (rule8 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((((((triple9) -> (rule1 % int6))) -> (rule6 % int5)) ((((triple8) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple8) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
((((((((triple9) -> (rule1 % int6))) -> (rule6 % int5)) ((((triple8) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((((triple9) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
((((((triple8) -> (rule8 % int5)) ((triple8 ((((triple8) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((triple8 ((((((((triple9) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple8) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
((((triple8 ((((((((triple9) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((((triple9) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
((((((((triple9) -> (rule1 % int6))) -> (rule6 % int5)) ((((((((triple9) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple8) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
((((((((triple9) -> (rule1 % int6))) -> (rule6 % int5)) ((((((((triple9) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((((triple9) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple3 ((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) triple2) -> (rule9 % int2)) ((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple2) -> (rule1 % int6))) -> (rule6 % int5)) ((((((((triple2) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((((triple2) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((((triple8) -> (rule8 % int5)) ((triple8 ((((triple8) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
((triple8) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((((triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple5) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((((triple6) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
((((triple8) -> (rule8 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
((((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple5 ((((triple5) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple4) -> (rule6 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple6) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple5 ((((((triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple4) -> (rule6 % int4)) ((((((triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple6) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple5 ((((((((triple6) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple4) -> (rule6 % int5)) ((((((((triple6) -> (rule1 % int4))) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple6) -> (rule1 % int5))) -> (rule6 % int4)) ((((((((triple6) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
((triple8 ((((triple8) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple8) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((triple8 ((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) ((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
((((triple1) -> (rule8 % int4)) ((triple1 ((((triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
((((triple1 ((((triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple1) -> (rule8 % int5)) ((triple1 ((((triple1) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
((((((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
((((((triple1) -> (rule8 % int5)) ((triple1 ((((triple1) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5