Anne is green. Erin is green. Erin is nice. Gary is big. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Harry is big. Harry is furry. Harry is green. If something is big and green then it is nice. All green things are furry. Kind things are rough. All nice, quiet things are kind. If something is nice and green then it is kind. If something is furry then it is big. All nice things are green. If something is big then it is quiet.
Anne is green.
("Anne" "is" "green" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
If something is big and green then it is nice.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
All nice, quiet things are kind.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If something is nice and green then it is kind.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is furry then it is big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
All nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If something is big then it is quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
Harry is green.
True
1
proof
[(triple11)]
("Harry" "is" "green" "+")
triple11
Gary is not furry.
False
1
inv-proof
[(triple5 OR ((((triple7) -> rule7)) -> rule2))]
("Gary" "is" "furry" "-")
triple5
((((triple7) -> (rule7 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Harry is quiet.
True
2
proof
[(((triple9) -> rule8) OR ((((triple10) -> rule6)) -> rule8) OR ((((((triple11) -> rule2)) -> rule6)) -> rule8))]
("Harry" "is" "quiet" "+")
((triple9) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple10) -> (rule6 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple11) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Gary is not green.
False
2
inv-proof
[(((triple7) -> rule7))]
("Gary" "is" "green" "-")
((triple7) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Erin is big.
True
3
proof
[(((((triple2) -> rule2)) -> rule6) OR ((((((triple3) -> rule7)) -> rule2)) -> rule6))]
("Erin" "is" "big" "+")
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((((triple3) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Anne is not big.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule6))]
("Anne" "is" "big" "-")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Erin is quiet.
True
4
proof
[(((((((triple2) -> rule2)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule7)) -> rule2)) -> rule6)) -> rule8))]
("Erin" "is" "quiet" "+")
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((((triple3) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is not quiet.
False
4
inv-proof
[(((((((triple2) -> rule2)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule7)) -> rule2)) -> rule6)) -> rule8))]
("Erin" "is" "quiet" "-")
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((((triple3) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Anne is kind.
True
7
proof
[(((((((((triple1) -> rule2)) -> rule6) triple1) -> rule1) triple1) -> rule5) OR ((((((((triple1) -> rule2)) -> rule6) triple1) -> rule1) ((((((triple1) -> rule2)) -> rule6)) -> rule8)) -> rule4))]
("Anne" "is" "kind" "+")
((((((((triple1) -> (rule2 % int4))) -> (rule6 % int3)) triple1) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((triple1) -> (rule2 % int5))) -> (rule6 % int4)) triple1) -> (rule1 % int3)) ((((((triple1) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is not kind.
False
7
inv-proof
[(((((((((triple1) -> rule2)) -> rule6) triple1) -> rule1) triple1) -> rule5) OR ((((((((triple1) -> rule2)) -> rule6) triple1) -> rule1) ((((((triple1) -> rule2)) -> rule6)) -> rule8)) -> rule4))]
("Anne" "is" "kind" "-")
((((((((triple1) -> (rule2 % int4))) -> (rule6 % int3)) triple1) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((triple1) -> (rule2 % int5))) -> (rule6 % int4)) triple1) -> (rule1 % int3)) ((((((triple1) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is rough.
True
8
proof
[(((((((((((triple1) -> rule2)) -> rule6) triple1) -> rule1) triple1) -> rule5)) -> rule3) OR ((((((((((triple1) -> rule2)) -> rule6) triple1) -> rule1) ((((((triple1) -> rule2)) -> rule6)) -> rule8)) -> rule4)) -> rule3))]
("Anne" "is" "rough" "+")
((((((((((triple1) -> (rule2 % int5))) -> (rule6 % int4)) triple1) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((((triple1) -> (rule2 % int6))) -> (rule6 % int5)) triple1) -> (rule1 % int4)) ((((((triple1) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
Anne is not rough.
False
8
inv-proof
[(((((((((((triple1) -> rule2)) -> rule6) triple1) -> rule1) triple1) -> rule5)) -> rule3) OR ((((((((((triple1) -> rule2)) -> rule6) triple1) -> rule1) ((((((triple1) -> rule2)) -> rule6)) -> rule8)) -> rule4)) -> rule3))]
("Anne" "is" "rough" "-")
((((((((((triple1) -> (rule2 % int5))) -> (rule6 % int4)) triple1) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((((triple1) -> (rule2 % int6))) -> (rule6 % int5)) triple1) -> (rule1 % int4)) ((((((triple1) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
@0: Anne is green.[(triple1)] Erin is green.[(triple2 OR ((triple3) -> rule7))] Erin is nice.[(triple3 OR ((((((triple2) -> rule2)) -> rule6) triple2) -> rule1))] Gary is big.[(triple4 OR ((triple5) -> rule6) OR ((((((triple7) -> rule7)) -> rule2)) -> rule6))] Gary is furry.[(triple5 OR ((((triple7) -> rule7)) -> rule2))] Gary is kind.[(triple6 OR ((triple7 triple8) -> rule4) OR ((triple7 ((triple4) -> rule8)) -> rule4) OR ((triple7 ((triple7) -> rule7)) -> rule5) OR ((triple7 ((((triple5) -> rule6)) -> rule8)) -> rule4) OR ((triple7 ((((((((triple7) -> rule7)) -> rule2)) -> rule6)) -> rule8)) -> rule4))] Gary is nice.[(triple7)] Gary is quiet.[(triple8 OR ((triple4) -> rule8) OR ((((triple5) -> rule6)) -> rule8) OR ((((((((triple7) -> rule7)) -> rule2)) -> rule6)) -> rule8))] Harry is big.[(triple9 OR ((triple10) -> rule6) OR ((((triple11) -> rule2)) -> rule6))] Harry is furry.[(triple10 OR ((triple11) -> rule2))] Harry is green.[(triple11)] @1: Anne is furry.[(((triple1) -> rule2))] Erin is furry.[(((triple2) -> rule2) OR ((((triple3) -> rule7)) -> rule2))] Erin is kind.[(((triple3 triple2) -> rule5) OR ((triple3 ((triple3) -> rule7)) -> rule5) OR ((triple3 ((((((triple2) -> rule2)) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule6) triple2) -> rule1) triple2) -> rule5) OR ((((((((triple2) -> rule2)) -> rule6) triple2) -> rule1) ((triple3) -> rule7)) -> rule5) OR ((((((((triple2) -> rule2)) -> rule6) triple2) -> rule1) ((((((triple2) -> rule2)) -> rule6)) -> rule8)) -> rule4) OR ((triple3 ((((((((triple3) -> rule7)) -> rule2)) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule6) triple2) -> rule1) ((((((((triple3) -> rule7)) -> rule2)) -> rule6)) -> rule8)) -> rule4))] Gary is green.[(((triple7) -> rule7))] Gary is rough.[(((triple6) -> rule3) OR ((((triple7 triple8) -> rule4)) -> rule3) OR ((((triple7 ((triple4) -> rule8)) -> rule4)) -> rule3) OR ((((triple7 ((triple7) -> rule7)) -> rule5)) -> rule3) OR ((((triple7 ((((triple5) -> rule6)) -> rule8)) -> rule4)) -> rule3) OR ((((triple7 ((((((((triple7) -> rule7)) -> rule2)) -> rule6)) -> rule8)) -> rule4)) -> rule3))] Harry is nice.[(((triple9 triple11) -> rule1) OR ((((triple10) -> rule6) triple11) -> rule1) OR ((((((triple11) -> rule2)) -> rule6) triple11) -> rule1))] Harry is quiet.[(((triple9) -> rule8) OR ((((triple10) -> rule6)) -> rule8) OR ((((((triple11) -> rule2)) -> rule6)) -> rule8))] @2: Anne is big.[(((((triple1) -> rule2)) -> rule6))] Erin is big.[(((((triple2) -> rule2)) -> rule6) OR ((((((triple3) -> rule7)) -> rule2)) -> rule6))] Erin is rough.[(((((triple3 triple2) -> rule5)) -> rule3) OR ((((triple3 ((triple3) -> rule7)) -> rule5)) -> rule3) OR ((((triple3 ((((((triple2) -> rule2)) -> rule6)) -> rule8)) -> rule4)) -> rule3) OR ((((((((((triple2) -> rule2)) -> rule6) triple2) -> rule1) triple2) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule2)) -> rule6) triple2) -> rule1) ((triple3) -> rule7)) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule2)) -> rule6) triple2) -> rule1) ((((((triple2) -> rule2)) -> rule6)) -> rule8)) -> rule4)) -> rule3) OR ((((triple3 ((((((((triple3) -> rule7)) -> rule2)) -> rule6)) -> rule8)) -> rule4)) -> rule3) OR ((((((((((triple2) -> rule2)) -> rule6) triple2) -> rule1) ((((((((triple3) -> rule7)) -> rule2)) -> rule6)) -> rule8)) -> rule4)) -> rule3))] Harry is kind.[(((((triple9 triple11) -> rule1) triple11) -> rule5) OR ((((triple9 triple11) -> rule1) ((triple9) -> rule8)) -> rule4) OR ((((((triple10) -> rule6) triple11) -> rule1) triple11) -> rule5) OR ((((triple9 triple11) -> rule1) ((((triple10) -> rule6)) -> rule8)) -> rule4) OR ((((((triple10) -> rule6) triple11) -> rule1) ((triple9) -> rule8)) -> rule4) OR ((((((triple10) -> rule6) triple11) -> rule1) ((((triple10) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule2)) -> rule6) triple11) -> rule1) triple11) -> rule5) OR ((((triple9 triple11) -> rule1) ((((((triple11) -> rule2)) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule2)) -> rule6) triple11) -> rule1) ((triple9) -> rule8)) -> rule4) OR ((((((triple10) -> rule6) triple11) -> rule1) ((((((triple11) -> rule2)) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule2)) -> rule6) triple11) -> rule1) ((((triple10) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule2)) -> rule6) triple11) -> rule1) ((((((triple11) -> rule2)) -> rule6)) -> rule8)) -> rule4))] @3: Anne is nice.[(((((((triple1) -> rule2)) -> rule6) triple1) -> rule1))] Anne is quiet.[(((((((triple1) -> rule2)) -> rule6)) -> rule8))] Erin is quiet.[(((((((triple2) -> rule2)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule7)) -> rule2)) -> rule6)) -> rule8))] Harry is rough.[(((((((triple9 triple11) -> rule1) triple11) -> rule5)) -> rule3) OR ((((((triple9 triple11) -> rule1) ((triple9) -> rule8)) -> rule4)) -> rule3) OR ((((((((triple10) -> rule6) triple11) -> rule1) triple11) -> rule5)) -> rule3) OR ((((((triple9 triple11) -> rule1) ((((triple10) -> rule6)) -> rule8)) -> rule4)) -> rule3) OR ((((((((triple10) -> rule6) triple11) -> rule1) ((triple9) -> rule8)) -> rule4)) -> rule3) OR ((((((((triple10) -> rule6) triple11) -> rule1) ((((triple10) -> rule6)) -> rule8)) -> rule4)) -> rule3) OR ((((((((((triple11) -> rule2)) -> rule6) triple11) -> rule1) triple11) -> rule5)) -> rule3) OR ((((((triple9 triple11) -> rule1) ((((((triple11) -> rule2)) -> rule6)) -> rule8)) -> rule4)) -> rule3) OR ((((((((((triple11) -> rule2)) -> rule6) triple11) -> rule1) ((triple9) -> rule8)) -> rule4)) -> rule3) OR ((((((((triple10) -> rule6) triple11) -> rule1) ((((((triple11) -> rule2)) -> rule6)) -> rule8)) -> rule4)) -> rule3) OR ((((((((((triple11) -> rule2)) -> rule6) triple11) -> rule1) ((((triple10) -> rule6)) -> rule8)) -> rule4)) -> rule3) OR ((((((((((triple11) -> rule2)) -> rule6) triple11) -> rule1) ((((((triple11) -> rule2)) -> rule6)) -> rule8)) -> rule4)) -> rule3))] @4: Anne is kind.[(((((((((triple1) -> rule2)) -> rule6) triple1) -> rule1) triple1) -> rule5) OR ((((((((triple1) -> rule2)) -> rule6) triple1) -> rule1) ((((((triple1) -> rule2)) -> rule6)) -> rule8)) -> rule4))] @5: Anne is rough.[(((((((((((triple1) -> rule2)) -> rule6) triple1) -> rule1) triple1) -> rule5)) -> rule3) OR ((((((((((triple1) -> rule2)) -> rule6) triple1) -> rule1) ((((((triple1) -> rule2)) -> rule6)) -> rule8)) -> rule4)) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
((triple3) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple3
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
triple4
((triple5) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((((triple7) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
triple5
((((triple7) -> (rule7 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple6
((triple7 triple8) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple7 ((triple4) -> (rule8 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((triple7 ((triple7) -> (rule7 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((triple7 ((((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple7 ((((((((triple7) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
((triple4) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
triple9
((triple10) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple11) -> (rule2 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
triple10
((triple11) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple11
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple3) -> (rule7 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((triple3 triple2) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple3 ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple3 ((((((triple2) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple2) -> (rule2 % int4))) -> (rule6 % int3)) triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple2) -> (rule2 % int5))) -> (rule6 % int4)) triple2) -> (rule1 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple2) -> (rule2 % int5))) -> (rule6 % int4)) triple2) -> (rule1 % int3)) ((((((triple2) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((triple3 ((((((((triple3) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule1 % int4)) ((((((((triple3) -> (rule7 % int3))) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
Gary is green.
("Gary" "is" "green" "+")
((triple7) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple6) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple7 triple8) -> (rule4 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple7 ((triple4) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple7 ((triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple7 ((((triple5) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple7 ((((((((triple7) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
Harry is nice.
("Harry" "is" "nice" "+")
((triple9 triple11) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple10) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple11) -> (rule2 % int3))) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple9) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple10) -> (rule6 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple11) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((((triple3) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
((((triple3 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple3 ((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple3 ((((((triple2) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple2) -> (rule2 % int5))) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule1 % int4)) ((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule1 % int4)) ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((triple3 ((((((((triple3) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((triple2) -> (rule2 % int7))) -> (rule6 % int6)) triple2) -> (rule1 % int5)) ((((((((triple3) -> (rule7 % int4))) -> (rule2 % int7))) -> (rule6 % int6))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
Erin is furry.
("Erin" "is" "furry" "+")
int7
Harry is kind.
("Harry" "is" "kind" "+")
((((triple9 triple11) -> (rule1 % int2)) triple11) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple9 triple11) -> (rule1 % int3)) ((triple9) -> (rule8 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple10) -> (rule6 % int3)) triple11) -> (rule1 % int2)) triple11) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple9 triple11) -> (rule1 % int4)) ((((triple10) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple10) -> (rule6 % int4)) triple11) -> (rule1 % int3)) ((triple9) -> (rule8 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int4)) triple11) -> (rule1 % int3)) ((((triple10) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple11) -> (rule2 % int4))) -> (rule6 % int3)) triple11) -> (rule1 % int2)) triple11) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple9 triple11) -> (rule1 % int5)) ((((((triple11) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple11) -> (rule2 % int5))) -> (rule6 % int4)) triple11) -> (rule1 % int3)) ((triple9) -> (rule8 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((((triple10) -> (rule6 % int5)) triple11) -> (rule1 % int4)) ((((((triple11) -> (rule2 % int3))) -> (rule6 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple11) -> (rule2 % int5))) -> (rule6 % int4)) triple11) -> (rule1 % int3)) ((((triple10) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((((((triple11) -> (rule2 % int5))) -> (rule6 % int4)) triple11) -> (rule1 % int3)) ((((((triple11) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
((((((triple1) -> (rule2 % int3))) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((((triple3) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
((((((triple9 triple11) -> (rule1 % int3)) triple11) -> (rule5 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple9 triple11) -> (rule1 % int4)) ((triple9) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((((triple10) -> (rule6 % int4)) triple11) -> (rule1 % int3)) triple11) -> (rule5 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple9 triple11) -> (rule1 % int5)) ((((triple10) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple10) -> (rule6 % int5)) triple11) -> (rule1 % int4)) ((triple9) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple10) -> (rule6 % int5)) triple11) -> (rule1 % int4)) ((((triple10) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((((triple11) -> (rule2 % int5))) -> (rule6 % int4)) triple11) -> (rule1 % int3)) triple11) -> (rule5 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((((triple9 triple11) -> (rule1 % int6)) ((((((triple11) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((((((((triple11) -> (rule2 % int6))) -> (rule6 % int5)) triple11) -> (rule1 % int4)) ((triple9) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((((((triple10) -> (rule6 % int6)) triple11) -> (rule1 % int5)) ((((((triple11) -> (rule2 % int4))) -> (rule6 % int6))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
((((((((((triple11) -> (rule2 % int6))) -> (rule6 % int5)) triple11) -> (rule1 % int4)) ((((triple10) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((((((((triple11) -> (rule2 % int6))) -> (rule6 % int5)) triple11) -> (rule1 % int4)) ((((((triple11) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Anne is kind.
("Anne" "is" "kind" "+")
((((((((triple1) -> (rule2 % int4))) -> (rule6 % int3)) triple1) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((triple1) -> (rule2 % int5))) -> (rule6 % int4)) triple1) -> (rule1 % int3)) ((((((triple1) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
((((((((((triple1) -> (rule2 % int5))) -> (rule6 % int4)) triple1) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((((triple1) -> (rule2 % int6))) -> (rule6 % int5)) triple1) -> (rule1 % int4)) ((((((triple1) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6