Anne is big. Anne is cold. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is young. Dave is round. Erin is round. Erin is young. Gary is big. Gary is nice. If Anne is cold then Anne is round. All big, nice people are young. All cold, nice people are round. All round people are big. If someone is young then they are rough. Round people are nice. Rough people are cold. All round people are quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If Anne is cold then Anne is round.
((("Anne" "is" "cold" "+")) -> ("Anne" "is" "round" "+"))
All big, nice people are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
All cold, nice people are round.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
All round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
All round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Anne is round.
True
1
proof
[(triple6 OR ((triple2) -> rule1) OR ((triple2 triple3) -> rule3) OR ((((triple5) -> rule7)) -> rule1) OR ((((triple5) -> rule7) triple3) -> rule3) OR ((((((triple7) -> rule5)) -> rule7)) -> rule1) OR ((((((triple7) -> rule5)) -> rule7) triple3) -> rule3) OR ((((((((triple1 triple3) -> rule2)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1 triple3) -> rule2)) -> rule5)) -> rule7) triple3) -> rule3))]
("Anne" "is" "round" "+")
triple6
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple2 triple3) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple5) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple7) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((((triple1 triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple1 triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is not big.
False
1
inv-proof
[(triple1 OR ((triple6) -> rule4) OR ((((triple2) -> rule1)) -> rule4) OR ((((triple2 triple3) -> rule3)) -> rule4) OR ((((((triple5) -> rule7)) -> rule1)) -> rule4) OR ((((((triple5) -> rule7) triple3) -> rule3)) -> rule4) OR ((((((((triple7) -> rule5)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple7) -> rule5)) -> rule7) triple3) -> rule3)) -> rule4))]
("Anne" "is" "big" "-")
triple1
((triple6) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2 triple3) -> (rule3 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((((triple5) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple5) -> (rule7 % int3)) triple3) -> (rule3 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((((triple7) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple7) -> (rule5 % int4))) -> (rule7 % int3)) triple3) -> (rule3 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Erin is nice.
True
2
proof
[(((triple9) -> rule6))]
("Erin" "is" "nice" "+")
((triple9) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple9) -> rule6))]
("Erin" "is" "nice" "-")
((triple9) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Dave is young.
True
5
proof
[(((((triple8) -> rule4) ((triple8) -> rule6)) -> rule2))]
("Dave" "is" "young" "+")
((((triple8) -> (rule4 % int3)) ((triple8) -> (rule6 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Gary is not rough.
False
4
inv-proof
[(((((triple11 triple12) -> rule2)) -> rule5))]
("Gary" "is" "rough" "-")
((((triple11 triple12) -> (rule2 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Dave is rough.
True
6
proof
[(((((((triple8) -> rule4) ((triple8) -> rule6)) -> rule2)) -> rule5))]
("Dave" "is" "rough" "+")
((((((triple8) -> (rule4 % int4)) ((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Gary is not cold.
False
5
inv-proof
[(((((((triple11 triple12) -> rule2)) -> rule5)) -> rule7))]
("Gary" "is" "cold" "-")
((((((triple11 triple12) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Dave is cold.
True
7
proof
[(((((((((triple8) -> rule4) ((triple8) -> rule6)) -> rule2)) -> rule5)) -> rule7))]
("Dave" "is" "cold" "+")
((((((((triple8) -> (rule4 % int5)) ((triple8) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Gary is not round.
False
7
inv-proof
[(((((((((triple11 triple12) -> rule2)) -> rule5)) -> rule7) triple12) -> rule3))]
("Gary" "is" "round" "-")
((((((((triple11 triple12) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) triple12) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is quiet.
True
8
proof
[(((((((((((triple11 triple12) -> rule2)) -> rule5)) -> rule7) triple12) -> rule3)) -> rule8))]
("Gary" "is" "quiet" "+")
((((((((((triple11 triple12) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) triple12) -> (rule3 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is not quiet.
False
8
inv-proof
[(((((((((((triple11 triple12) -> rule2)) -> rule5)) -> rule7) triple12) -> rule3)) -> rule8))]
("Gary" "is" "quiet" "-")
((((((((((triple11 triple12) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) triple12) -> (rule3 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
@0: Anne is big.[(triple1 OR ((triple6) -> rule4) OR ((((triple2) -> rule1)) -> rule4) OR ((((triple2 triple3) -> rule3)) -> rule4) OR ((((((triple5) -> rule7)) -> rule1)) -> rule4) OR ((((((triple5) -> rule7) triple3) -> rule3)) -> rule4) OR ((((((((triple7) -> rule5)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple7) -> rule5)) -> rule7) triple3) -> rule3)) -> rule4))] Anne is cold.[(triple2 OR ((triple5) -> rule7) OR ((((triple7) -> rule5)) -> rule7) OR ((((((triple1 triple3) -> rule2)) -> rule5)) -> rule7) OR ((((((triple1 ((triple6) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule4) triple3) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule4) ((triple6) -> rule6)) -> rule2)) -> rule5)) -> rule7))] Anne is nice.[(triple3 OR ((triple6) -> rule6) OR ((((triple2) -> rule1)) -> rule6) OR ((((((triple5) -> rule7)) -> rule1)) -> rule6) OR ((((((((triple7) -> rule5)) -> rule7)) -> rule1)) -> rule6))] Anne is quiet.[(triple4 OR ((triple6) -> rule8) OR ((((triple2) -> rule1)) -> rule8) OR ((((triple2 triple3) -> rule3)) -> rule8) OR ((((((triple5) -> rule7)) -> rule1)) -> rule8) OR ((((((triple5) -> rule7) triple3) -> rule3)) -> rule8) OR ((((((((triple7) -> rule5)) -> rule7)) -> rule1)) -> rule8) OR ((((((((triple7) -> rule5)) -> rule7) triple3) -> rule3)) -> rule8) OR ((((((((((triple1 triple3) -> rule2)) -> rule5)) -> rule7)) -> rule1)) -> rule8) OR ((((((((((triple1 triple3) -> rule2)) -> rule5)) -> rule7) triple3) -> rule3)) -> rule8))] Anne is rough.[(triple5 OR ((triple7) -> rule5) OR ((((triple1 triple3) -> rule2)) -> rule5) OR ((((triple1 ((triple6) -> rule6)) -> rule2)) -> rule5) OR ((((((triple6) -> rule4) triple3) -> rule2)) -> rule5) OR ((((((triple6) -> rule4) ((triple6) -> rule6)) -> rule2)) -> rule5) OR ((((triple1 ((((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule4) triple3) -> rule2)) -> rule5) OR ((((((((triple2 triple3) -> rule3)) -> rule4) triple3) -> rule2)) -> rule5) OR ((((((triple6) -> rule4) ((((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule4) ((triple6) -> rule6)) -> rule2)) -> rule5) OR ((((((((triple2 triple3) -> rule3)) -> rule4) ((triple6) -> rule6)) -> rule2)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule5) OR ((((((((triple2 triple3) -> rule3)) -> rule4) ((((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule5))] Anne is round.[(triple6 OR ((triple2) -> rule1) OR ((triple2 triple3) -> rule3) OR ((((triple5) -> rule7)) -> rule1) OR ((((triple5) -> rule7) triple3) -> rule3) OR ((((((triple7) -> rule5)) -> rule7)) -> rule1) OR ((((((triple7) -> rule5)) -> rule7) triple3) -> rule3) OR ((((((((triple1 triple3) -> rule2)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1 triple3) -> rule2)) -> rule5)) -> rule7) triple3) -> rule3))] Anne is young.[(triple7 OR ((triple1 triple3) -> rule2) OR ((triple1 ((triple6) -> rule6)) -> rule2) OR ((((triple6) -> rule4) triple3) -> rule2) OR ((((triple6) -> rule4) ((triple6) -> rule6)) -> rule2) OR ((triple1 ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) triple3) -> rule2) OR ((((((triple2 triple3) -> rule3)) -> rule4) triple3) -> rule2) OR ((((triple6) -> rule4) ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((triple6) -> rule6)) -> rule2) OR ((((((triple2 triple3) -> rule3)) -> rule4) ((triple6) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2 triple3) -> rule3)) -> rule4) ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((triple1 ((((((triple5) -> rule7)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple5) -> rule7)) -> rule1)) -> rule4) triple3) -> rule2) OR ((((((((triple5) -> rule7) triple3) -> rule3)) -> rule4) triple3) -> rule2) OR ((((triple6) -> rule4) ((((((triple5) -> rule7)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple5) -> rule7)) -> rule1)) -> rule4) ((triple6) -> rule6)) -> rule2) OR ((((((((triple5) -> rule7) triple3) -> rule3)) -> rule4) ((triple6) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((((triple5) -> rule7)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple5) -> rule7)) -> rule1)) -> rule4) ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2 triple3) -> rule3)) -> rule4) ((((((triple5) -> rule7)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple5) -> rule7) triple3) -> rule3)) -> rule4) ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple5) -> rule7)) -> rule1)) -> rule4) ((((((triple5) -> rule7)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple5) -> rule7) triple3) -> rule3)) -> rule4) ((((((triple5) -> rule7)) -> rule1)) -> rule6)) -> rule2))] Dave is round.[(triple8)] Erin is round.[(triple9)] Erin is young.[(triple10 OR ((((triple9) -> rule4) ((triple9) -> rule6)) -> rule2))] Gary is big.[(triple11)] Gary is nice.[(triple12)] @1: Dave is big.[(((triple8) -> rule4))] Dave is nice.[(((triple8) -> rule6))] Dave is quiet.[(((triple8) -> rule8))] Erin is big.[(((triple9) -> rule4))] Erin is nice.[(((triple9) -> rule6))] Erin is quiet.[(((triple9) -> rule8))] Erin is rough.[(((triple10) -> rule5) OR ((((((triple9) -> rule4) ((triple9) -> rule6)) -> rule2)) -> rule5))] Gary is young.[(((triple11 triple12) -> rule2))] @2: Dave is young.[(((((triple8) -> rule4) ((triple8) -> rule6)) -> rule2))] Erin is cold.[(((((triple10) -> rule5)) -> rule7) OR ((((((((triple9) -> rule4) ((triple9) -> rule6)) -> rule2)) -> rule5)) -> rule7))] Gary is rough.[(((((triple11 triple12) -> rule2)) -> rule5))] @3: Dave is rough.[(((((((triple8) -> rule4) ((triple8) -> rule6)) -> rule2)) -> rule5))] Gary is cold.[(((((((triple11 triple12) -> rule2)) -> rule5)) -> rule7))] @4: Dave is cold.[(((((((((triple8) -> rule4) ((triple8) -> rule6)) -> rule2)) -> rule5)) -> rule7))] Gary is round.[(((((((((triple11 triple12) -> rule2)) -> rule5)) -> rule7) triple12) -> rule3))] @5: Gary is quiet.[(((((((((((triple11 triple12) -> rule2)) -> rule5)) -> rule7) triple12) -> rule3)) -> rule8))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple6) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2 triple3) -> (rule3 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((((triple5) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple5) -> (rule7 % int3)) triple3) -> (rule3 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((((triple7) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple7) -> (rule5 % int4))) -> (rule7 % int3)) triple3) -> (rule3 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple5) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((((triple1 triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple1 ((triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple6) -> (rule4 % int4)) triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple6) -> (rule4 % int5)) ((triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple6) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((((triple5) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((((triple7) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((triple6) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2 triple3) -> (rule3 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((((triple5) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple5) -> (rule7 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((((triple7) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple7) -> (rule5 % int4))) -> (rule7 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((((triple1 triple3) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((((triple1 triple3) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
triple5
((triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple1 triple3) -> (rule2 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple1 ((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple6) -> (rule4 % int3)) triple3) -> (rule2 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple6) -> (rule4 % int4)) ((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple1 ((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) triple3) -> (rule2 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple2 triple3) -> (rule3 % int4))) -> (rule4 % int3)) triple3) -> (rule2 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple6) -> (rule4 % int5)) ((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((((triple2 triple3) -> (rule3 % int5))) -> (rule4 % int4)) ((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple2) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((((triple2 triple3) -> (rule3 % int5))) -> (rule4 % int4)) ((((triple2) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple2 triple3) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple5) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple7) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((((triple1 triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple1 triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
triple7
((triple1 triple3) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple1 ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple6) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple6) -> (rule4 % int3)) ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple1 ((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2 triple3) -> (rule3 % int3))) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple6) -> (rule4 % int4)) ((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple2 triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple2 triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((triple1 ((((((triple5) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((((triple5) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((((triple5) -> (rule7 % int4)) triple3) -> (rule3 % int3))) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple6) -> (rule4 % int5)) ((((((triple5) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple5) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple5) -> (rule7 % int5)) triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple5) -> (rule7 % int3))) -> (rule1 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((((triple5) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((triple2 triple3) -> (rule3 % int5))) -> (rule4 % int4)) ((((((triple5) -> (rule7 % int3))) -> (rule1 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((((triple5) -> (rule7 % int5)) triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple5) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple5) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple5) -> (rule7 % int5)) triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((((((triple5) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
((((triple9) -> (rule4 % int3)) ((triple9) -> (rule6 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Dave is big.
("Dave" "is" "big" "+")
((triple8) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple8) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple8) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple9) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple9) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple9) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple10) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((((triple9) -> (rule4 % int4)) ((triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
((triple11 triple12) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((((triple8) -> (rule4 % int3)) ((triple8) -> (rule6 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
((((triple10) -> (rule5 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((((triple9) -> (rule4 % int5)) ((triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Gary is rough.
("Gary" "is" "rough" "+")
((((triple11 triple12) -> (rule2 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((((triple8) -> (rule4 % int4)) ((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple11 triple12) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((((((((triple8) -> (rule4 % int5)) ((triple8) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
((((((((triple11 triple12) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) triple12) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
((((((((((triple11 triple12) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) triple12) -> (rule3 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5