Bob is blue. Bob is cold. Bob is green. Bob is quiet. Bob is rough. Bob is round. Bob is young. Dave is blue. Dave is cold. Dave is green. Dave is quiet. Dave is rough. Dave is round. Erin is green. Erin is rough. Gary is round. If something is green then it is young. Young things are cold. Round things are rough. All quiet things are round. If something is rough then it is green. If something is cold then it is quiet. All quiet things are round. Rough, green things are young. If Bob is quiet then Bob is blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
If something is green then it is young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Round things are rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
All quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If something is rough then it is green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is cold then it is quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
All quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Rough, green things are young.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If Bob is quiet then Bob is blue.
((("Bob" "is" "quiet" "+")) -> ("Bob" "is" "blue" "+"))
Bob is quiet.
True
1
proof
[(triple4 OR ((triple2) -> rule6) OR ((((triple7) -> rule2)) -> rule6) OR ((((((triple3) -> rule1)) -> rule2)) -> rule6) OR ((((((triple5 triple3) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple5) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple5 ((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple6) -> rule3) triple3) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple6) -> rule3) ((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule6) OR ((((((((((triple6) -> rule3)) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple5 ((((triple6) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule6))]
("Bob" "is" "quiet" "+")
triple4
((triple2) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple5 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple5 ((triple5) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int4)) triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple6) -> (rule3 % int5)) ((triple5) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((((triple6) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple5 ((((triple6) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple6) -> (rule3 % int5)) ((((triple6) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is not blue.
False
1
inv-proof
[(triple1 OR ((triple4) -> rule9) OR ((((triple2) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple5 triple3) -> rule8)) -> rule2)) -> rule6)) -> rule9) OR ((((((((((triple5) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple5 ((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule9) OR ((((((((((triple6) -> rule3) triple3) -> rule8)) -> rule2)) -> rule6)) -> rule9) OR ((((((((((triple6) -> rule3) ((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule9) OR ((((((((((((triple6) -> rule3)) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple5 ((((triple6) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule9) OR ((((((((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule9))]
("Bob" "is" "blue" "-")
triple1
((triple4) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple5 triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((triple5 ((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((((triple6) -> (rule3 % int5)) triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((((triple6) -> (rule3 % int6)) ((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((((((((triple6) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((((triple5 ((((triple6) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((((((triple6) -> (rule3 % int6)) ((((triple6) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
Erin is young.
True
2
proof
[(((triple14) -> rule1) OR ((triple15 triple14) -> rule8) OR ((((triple15) -> rule5)) -> rule1) OR ((triple15 ((triple15) -> rule5)) -> rule8))]
("Erin" "is" "young" "+")
((triple14) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple15 triple14) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple15) -> (rule5 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple15 ((triple15) -> (rule5 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Dave is not young.
False
2
inv-proof
[(((triple10) -> rule1) OR ((triple12 triple10) -> rule8) OR ((((triple12) -> rule5)) -> rule1) OR ((triple12 ((triple12) -> rule5)) -> rule8) OR ((((triple13) -> rule3) triple10) -> rule8) OR ((((triple13) -> rule3) ((triple12) -> rule5)) -> rule8) OR ((((((triple13) -> rule3)) -> rule5)) -> rule1) OR ((triple12 ((((triple13) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule4)) -> rule3) triple10) -> rule8) OR ((((((triple11) -> rule7)) -> rule3) triple10) -> rule8) OR ((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule4)) -> rule3) ((triple12) -> rule5)) -> rule8) OR ((((((triple11) -> rule7)) -> rule3) ((triple12) -> rule5)) -> rule8) OR ((((((triple11) -> rule4)) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule7)) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule1) OR ((((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule1) OR ((triple12 ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((triple12 ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3) triple10) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3) triple10) -> rule8) OR ((((triple13) -> rule3) ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((triple13) -> rule3) ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3) ((triple12) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3) ((triple12) -> rule5)) -> rule8) OR ((((((triple11) -> rule4)) -> rule3) ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule4)) -> rule3) ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule7)) -> rule3) ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule7)) -> rule3) ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3) ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3) ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3) ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3) ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule1) OR ((((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule1) OR ((triple12 ((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((triple12 ((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((triple13) -> rule3) ((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((triple13) -> rule3) ((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule4)) -> rule3) ((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule4)) -> rule3) ((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule7)) -> rule3) ((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule7)) -> rule3) ((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3) ((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3) ((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3) ((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3) ((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8))]
("Dave" "is" "young" "-")
((triple10) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple12 triple10) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple12 ((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple13) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple13) -> (rule3 % int3)) ((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((triple12 ((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple11) -> (rule4 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple11) -> (rule7 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple13) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple11) -> (rule4 % int4))) -> (rule3 % int3)) ((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple11) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple11) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple12 ((((((triple11) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple12 ((((((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((triple13) -> (rule3 % int4)) ((((((triple11) -> (rule4 % int3))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple13) -> (rule3 % int4)) ((((((triple11) -> (rule7 % int3))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple11) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple11) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((triple12 ((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((triple12 ((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((triple13) -> (rule3 % int5)) ((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple13) -> (rule3 % int5)) ((((((((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple11) -> (rule4 % int5))) -> (rule3 % int4)) ((((((((triple9) -> (rule6 % int3))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple11) -> (rule4 % int5))) -> (rule3 % int4)) ((((((((triple9) -> (rule6 % int3))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((((((triple9) -> (rule6 % int3))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((((((triple9) -> (rule6 % int3))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Gary is green.
True
3
proof
[(((((triple16) -> rule3)) -> rule5))]
("Gary" "is" "green" "+")
((((triple16) -> (rule3 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not green.
False
3
inv-proof
[(((((triple16) -> rule3)) -> rule5))]
("Gary" "is" "green" "-")
((((triple16) -> (rule3 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
True
4
proof
[(((((((triple16) -> rule3)) -> rule5)) -> rule1) OR ((((triple16) -> rule3) ((((triple16) -> rule3)) -> rule5)) -> rule8))]
("Gary" "is" "young" "+")
((((((triple16) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple16) -> (rule3 % int3)) ((((triple16) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not young.
False
4
inv-proof
[(((((((triple16) -> rule3)) -> rule5)) -> rule1) OR ((((triple16) -> rule3) ((((triple16) -> rule3)) -> rule5)) -> rule8))]
("Gary" "is" "young" "-")
((((((triple16) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple16) -> (rule3 % int3)) ((((triple16) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Erin is round.
True
5
proof
[(((((((((triple14) -> rule1)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple14) -> rule1)) -> rule2)) -> rule6)) -> rule7) OR ((((((((triple15 triple14) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple15 triple14) -> rule8)) -> rule2)) -> rule6)) -> rule7) OR ((((((((((triple15) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule4) OR ((((((((((triple15) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule7) OR ((((((((triple15 ((triple15) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple15 ((triple15) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule7))]
("Erin" "is" "round" "+")
((((((((triple14) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple14) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple15 triple14) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple15 triple14) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((((triple15) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple15) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((triple15 ((triple15) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((triple15 ((triple15) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is not round.
False
5
inv-proof
[(((((((((triple14) -> rule1)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple14) -> rule1)) -> rule2)) -> rule6)) -> rule7) OR ((((((((triple15 triple14) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple15 triple14) -> rule8)) -> rule2)) -> rule6)) -> rule7) OR ((((((((((triple15) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule4) OR ((((((((((triple15) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule7) OR ((((((((triple15 ((triple15) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple15 ((triple15) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule7))]
("Erin" "is" "round" "-")
((((((((triple14) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple14) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple15 triple14) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple15 triple14) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((((triple15) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple15) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((triple15 ((triple15) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((triple15 ((triple15) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Gary is quiet.
True
6
proof
[(((((((((((triple16) -> rule3)) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple16) -> rule3) ((((triple16) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule6))]
("Gary" "is" "quiet" "+")
((((((((((triple16) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((triple16) -> (rule3 % int5)) ((((triple16) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is not quiet.
False
6
inv-proof
[(((((((((((triple16) -> rule3)) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple16) -> rule3) ((((triple16) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule6))]
("Gary" "is" "quiet" "-")
((((((((((triple16) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((triple16) -> (rule3 % int5)) ((((triple16) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Bob is blue.[(triple1 OR ((triple4) -> rule9) OR ((((triple2) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple5 triple3) -> rule8)) -> rule2)) -> rule6)) -> rule9) OR ((((((((((triple5) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple5 ((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule9) OR ((((((((((triple6) -> rule3) triple3) -> rule8)) -> rule2)) -> rule6)) -> rule9) OR ((((((((((triple6) -> rule3) ((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule9) OR ((((((((((((triple6) -> rule3)) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple5 ((((triple6) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule9) OR ((((((((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule9))] Bob is cold.[(triple2 OR ((triple7) -> rule2) OR ((((triple3) -> rule1)) -> rule2) OR ((((triple5 triple3) -> rule8)) -> rule2) OR ((((((triple5) -> rule5)) -> rule1)) -> rule2) OR ((((triple5 ((triple5) -> rule5)) -> rule8)) -> rule2) OR ((((((triple6) -> rule3) triple3) -> rule8)) -> rule2) OR ((((((triple6) -> rule3) ((triple5) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple6) -> rule3)) -> rule5)) -> rule1)) -> rule2) OR ((((triple5 ((((triple6) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule3) triple3) -> rule8)) -> rule2) OR ((((((((triple4) -> rule7)) -> rule3) triple3) -> rule8)) -> rule2) OR ((((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule3) ((triple5) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule7)) -> rule3) ((triple5) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule3) ((((triple6) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule7)) -> rule3) ((((triple6) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule4)) -> rule3)) -> rule5)) -> rule1)) -> rule2) OR ((((((((((triple4) -> rule7)) -> rule3)) -> rule5)) -> rule1)) -> rule2) OR ((((triple5 ((((((triple4) -> rule4)) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((triple5 ((((((triple4) -> rule7)) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((triple6) -> rule3) ((((((triple4) -> rule4)) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((triple6) -> rule3) ((((((triple4) -> rule7)) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule3) ((((((triple4) -> rule4)) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule3) ((((((triple4) -> rule7)) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule7)) -> rule3) ((((((triple4) -> rule4)) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule7)) -> rule3) ((((((triple4) -> rule7)) -> rule3)) -> rule5)) -> rule8)) -> rule2))] Bob is green.[(triple3 OR ((triple5) -> rule5) OR ((((triple6) -> rule3)) -> rule5) OR ((((((triple4) -> rule4)) -> rule3)) -> rule5) OR ((((((triple4) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple2) -> rule6)) -> rule7)) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule6)) -> rule4)) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule6)) -> rule7)) -> rule3)) -> rule5))] Bob is quiet.[(triple4 OR ((triple2) -> rule6) OR ((((triple7) -> rule2)) -> rule6) OR ((((((triple3) -> rule1)) -> rule2)) -> rule6) OR ((((((triple5 triple3) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple5) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple5 ((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple6) -> rule3) triple3) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple6) -> rule3) ((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule6) OR ((((((((((triple6) -> rule3)) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple5 ((((triple6) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule6))] Bob is rough.[(triple5 OR ((triple6) -> rule3) OR ((((triple4) -> rule4)) -> rule3) OR ((((triple4) -> rule7)) -> rule3) OR ((((((triple2) -> rule6)) -> rule4)) -> rule3) OR ((((((triple2) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple7) -> rule2)) -> rule6)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule2)) -> rule6)) -> rule7)) -> rule3) OR ((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule7)) -> rule3))] Bob is round.[(triple6 OR ((triple4) -> rule4) OR ((triple4) -> rule7) OR ((((triple2) -> rule6)) -> rule4) OR ((((triple2) -> rule6)) -> rule7) OR ((((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((((((triple7) -> rule2)) -> rule6)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule7) OR ((((((((triple5 triple3) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple5 triple3) -> rule8)) -> rule2)) -> rule6)) -> rule7) OR ((((((((((triple5) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule4) OR ((((((((((triple5) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule7) OR ((((((((triple5 ((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple5 ((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule7))] Bob is young.[(triple7 OR ((triple3) -> rule1) OR ((triple5 triple3) -> rule8) OR ((((triple5) -> rule5)) -> rule1) OR ((triple5 ((triple5) -> rule5)) -> rule8) OR ((((triple6) -> rule3) triple3) -> rule8) OR ((((triple6) -> rule3) ((triple5) -> rule5)) -> rule8) OR ((((((triple6) -> rule3)) -> rule5)) -> rule1) OR ((triple5 ((((triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple4) -> rule4)) -> rule3) triple3) -> rule8) OR ((((((triple4) -> rule7)) -> rule3) triple3) -> rule8) OR ((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple4) -> rule4)) -> rule3) ((triple5) -> rule5)) -> rule8) OR ((((((triple4) -> rule7)) -> rule3) ((triple5) -> rule5)) -> rule8) OR ((((((triple4) -> rule4)) -> rule3) ((((triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple4) -> rule7)) -> rule3) ((((triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple4) -> rule4)) -> rule3)) -> rule5)) -> rule1) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule5)) -> rule1) OR ((triple5 ((((((triple4) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((triple5 ((((((triple4) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule3) triple3) -> rule8) OR ((((((((triple2) -> rule6)) -> rule7)) -> rule3) triple3) -> rule8) OR ((((triple6) -> rule3) ((((((triple4) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((triple6) -> rule3) ((((((triple4) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule3) ((triple5) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule7)) -> rule3) ((triple5) -> rule5)) -> rule8) OR ((((((triple4) -> rule4)) -> rule3) ((((((triple4) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple4) -> rule4)) -> rule3) ((((((triple4) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple4) -> rule7)) -> rule3) ((((((triple4) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple4) -> rule7)) -> rule3) ((((((triple4) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule3) ((((triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule7)) -> rule3) ((((triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule3) ((((((triple4) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule3) ((((((triple4) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule7)) -> rule3) ((((((triple4) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule7)) -> rule3) ((((((triple4) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule1) OR ((((((((((triple2) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule1) OR ((triple5 ((((((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((triple5 ((((((((triple2) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((triple6) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((triple6) -> rule3) ((((((((triple2) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple4) -> rule4)) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple4) -> rule4)) -> rule3) ((((((((triple2) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple4) -> rule7)) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple4) -> rule7)) -> rule3) ((((((((triple2) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule3) ((((((((triple2) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule7)) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule7)) -> rule3) ((((((((triple2) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8))] Dave is blue.[(triple8)] Dave is cold.[(triple9 OR ((((triple10) -> rule1)) -> rule2) OR ((((triple12 triple10) -> rule8)) -> rule2) OR ((((((triple12) -> rule5)) -> rule1)) -> rule2) OR ((((triple12 ((triple12) -> rule5)) -> rule8)) -> rule2) OR ((((((triple13) -> rule3) triple10) -> rule8)) -> rule2) OR ((((((triple13) -> rule3) ((triple12) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple13) -> rule3)) -> rule5)) -> rule1)) -> rule2) OR ((((triple12 ((((triple13) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple11) -> rule4)) -> rule3) triple10) -> rule8)) -> rule2) OR ((((((((triple11) -> rule7)) -> rule3) triple10) -> rule8)) -> rule2) OR ((((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple11) -> rule4)) -> rule3) ((triple12) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple11) -> rule7)) -> rule3) ((triple12) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple11) -> rule4)) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple11) -> rule7)) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule1)) -> rule2) OR ((((((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule1)) -> rule2) OR ((((triple12 ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((triple12 ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((triple13) -> rule3) ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((triple13) -> rule3) ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple11) -> rule4)) -> rule3) ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple11) -> rule4)) -> rule3) ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple11) -> rule7)) -> rule3) ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple11) -> rule7)) -> rule3) ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8)) -> rule2))] Dave is green.[(triple10 OR ((triple12) -> rule5) OR ((((triple13) -> rule3)) -> rule5) OR ((((((triple11) -> rule4)) -> rule3)) -> rule5) OR ((((((triple11) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5))] Dave is quiet.[(triple11 OR ((triple9) -> rule6) OR ((((((triple10) -> rule1)) -> rule2)) -> rule6) OR ((((((triple12 triple10) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple12) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple12 ((triple12) -> rule5)) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple13) -> rule3) triple10) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple13) -> rule3) ((triple12) -> rule5)) -> rule8)) -> rule2)) -> rule6) OR ((((((((((triple13) -> rule3)) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple12 ((((triple13) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule6))] Dave is rough.[(triple12 OR ((triple13) -> rule3) OR ((((triple11) -> rule4)) -> rule3) OR ((((triple11) -> rule7)) -> rule3) OR ((((((triple9) -> rule6)) -> rule4)) -> rule3) OR ((((((triple9) -> rule6)) -> rule7)) -> rule3) OR ((((((((((triple10) -> rule1)) -> rule2)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule1)) -> rule2)) -> rule6)) -> rule7)) -> rule3))] Dave is round.[(triple13 OR ((triple11) -> rule4) OR ((triple11) -> rule7) OR ((((triple9) -> rule6)) -> rule4) OR ((((triple9) -> rule6)) -> rule7) OR ((((((((triple10) -> rule1)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple10) -> rule1)) -> rule2)) -> rule6)) -> rule7) OR ((((((((triple12 triple10) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple12 triple10) -> rule8)) -> rule2)) -> rule6)) -> rule7) OR ((((((((((triple12) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule4) OR ((((((((((triple12) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule7) OR ((((((((triple12 ((triple12) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple12 ((triple12) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule7))] Erin is green.[(triple14 OR ((triple15) -> rule5))] Erin is rough.[(triple15 OR ((((((((((triple14) -> rule1)) -> rule2)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((triple14) -> rule1)) -> rule2)) -> rule6)) -> rule7)) -> rule3))] Gary is round.[(triple16)] @1: Dave is young.[(((triple10) -> rule1) OR ((triple12 triple10) -> rule8) OR ((((triple12) -> rule5)) -> rule1) OR ((triple12 ((triple12) -> rule5)) -> rule8) OR ((((triple13) -> rule3) triple10) -> rule8) OR ((((triple13) -> rule3) ((triple12) -> rule5)) -> rule8) OR ((((((triple13) -> rule3)) -> rule5)) -> rule1) OR ((triple12 ((((triple13) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule4)) -> rule3) triple10) -> rule8) OR ((((((triple11) -> rule7)) -> rule3) triple10) -> rule8) OR ((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule4)) -> rule3) ((triple12) -> rule5)) -> rule8) OR ((((((triple11) -> rule7)) -> rule3) ((triple12) -> rule5)) -> rule8) OR ((((((triple11) -> rule4)) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule7)) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule1) OR ((((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule1) OR ((triple12 ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((triple12 ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3) triple10) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3) triple10) -> rule8) OR ((((triple13) -> rule3) ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((triple13) -> rule3) ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3) ((triple12) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3) ((triple12) -> rule5)) -> rule8) OR ((((((triple11) -> rule4)) -> rule3) ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule4)) -> rule3) ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule7)) -> rule3) ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule7)) -> rule3) ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3) ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3) ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3) ((((((triple11) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3) ((((((triple11) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule1) OR ((((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule1) OR ((triple12 ((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((triple12 ((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((triple13) -> rule3) ((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((triple13) -> rule3) ((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule4)) -> rule3) ((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule4)) -> rule3) ((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule7)) -> rule3) ((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple11) -> rule7)) -> rule3) ((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3) ((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule3) ((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3) ((((((((triple9) -> rule6)) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule3) ((((((((triple9) -> rule6)) -> rule7)) -> rule3)) -> rule5)) -> rule8))] Erin is young.[(((triple14) -> rule1) OR ((triple15 triple14) -> rule8) OR ((((triple15) -> rule5)) -> rule1) OR ((triple15 ((triple15) -> rule5)) -> rule8))] Gary is rough.[(((triple16) -> rule3))] @2: Erin is cold.[(((((triple14) -> rule1)) -> rule2) OR ((((triple15 triple14) -> rule8)) -> rule2) OR ((((((triple15) -> rule5)) -> rule1)) -> rule2) OR ((((triple15 ((triple15) -> rule5)) -> rule8)) -> rule2))] Gary is green.[(((((triple16) -> rule3)) -> rule5))] @3: Erin is quiet.[(((((((triple14) -> rule1)) -> rule2)) -> rule6) OR ((((((triple15 triple14) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple15) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple15 ((triple15) -> rule5)) -> rule8)) -> rule2)) -> rule6))] Gary is young.[(((((((triple16) -> rule3)) -> rule5)) -> rule1) OR ((((triple16) -> rule3) ((((triple16) -> rule3)) -> rule5)) -> rule8))] @4: Erin is round.[(((((((((triple14) -> rule1)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple14) -> rule1)) -> rule2)) -> rule6)) -> rule7) OR ((((((((triple15 triple14) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple15 triple14) -> rule8)) -> rule2)) -> rule6)) -> rule7) OR ((((((((((triple15) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule4) OR ((((((((((triple15) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule7) OR ((((((((triple15 ((triple15) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple15 ((triple15) -> rule5)) -> rule8)) -> rule2)) -> rule6)) -> rule7))] Gary is cold.[(((((((((triple16) -> rule3)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple16) -> rule3) ((((triple16) -> rule3)) -> rule5)) -> rule8)) -> rule2))] @5: Gary is quiet.[(((((((((((triple16) -> rule3)) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple16) -> rule3) ((((triple16) -> rule3)) -> rule5)) -> rule8)) -> rule2)) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple4) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple5 triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((triple5 ((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((((triple6) -> (rule3 % int5)) triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((((triple6) -> (rule3 % int6)) ((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((((((((triple6) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((((triple5 ((((triple6) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((((((triple6) -> (rule3 % int6)) ((((triple6) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple7) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple5 triple3) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple5 ((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple6) -> (rule3 % int3)) triple3) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple6) -> (rule3 % int4)) ((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple5 ((((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple4) -> (rule4 % int4))) -> (rule3 % int3)) triple3) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule3 % int3)) triple3) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple6) -> (rule3 % int4)) ((((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple4) -> (rule4 % int5))) -> (rule3 % int4)) ((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((triple4) -> (rule7 % int5))) -> (rule3 % int4)) ((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((triple4) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((triple4) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple5 ((((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple5 ((((((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple6) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple6) -> (rule3 % int5)) ((((((triple4) -> (rule7 % int4))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple4) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((triple4) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((triple4) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((triple4) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple5) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple2) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((((triple7) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
((triple2) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple5 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple5 ((triple5) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int4)) triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple6) -> (rule3 % int5)) ((triple5) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((((triple6) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple5 ((((triple6) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple6) -> (rule3 % int5)) ((((triple6) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
triple5
((triple6) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((((triple2) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((((((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
triple6
((triple4) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple4) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple2) -> (rule6 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple5 triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple5 triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((triple5 ((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((triple5 ((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
triple7
((triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple5 triple3) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple5 ((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple6) -> (rule3 % int2)) triple3) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple6) -> (rule3 % int3)) ((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple5 ((((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple4) -> (rule4 % int3))) -> (rule3 % int2)) triple3) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule3 % int2)) triple3) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple6) -> (rule3 % int3)) ((((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple4) -> (rule4 % int4))) -> (rule3 % int3)) ((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule3 % int3)) ((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((triple5 ((((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((triple5 ((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple3) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple2) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple3) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple6) -> (rule3 % int4)) ((((((triple4) -> (rule4 % int3))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple6) -> (rule3 % int4)) ((((((triple4) -> (rule7 % int3))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple4) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((triple5 ((((((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((triple5 ((((((((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple6) -> (rule3 % int5)) ((((((((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple6) -> (rule3 % int5)) ((((((((triple2) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule3 % int4)) ((((((((triple2) -> (rule6 % int3))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule3 % int4)) ((((((((triple2) -> (rule6 % int3))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple4) -> (rule7 % int5))) -> (rule3 % int4)) ((((((((triple2) -> (rule6 % int3))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple4) -> (rule7 % int5))) -> (rule3 % int4)) ((((((((triple2) -> (rule6 % int3))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple9
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple12 triple10) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((((triple12) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple12 ((triple12) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple13) -> (rule3 % int3)) triple10) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple13) -> (rule3 % int4)) ((triple12) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple13) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple12 ((((triple13) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple11) -> (rule4 % int4))) -> (rule3 % int3)) triple10) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple11) -> (rule7 % int4))) -> (rule3 % int3)) triple10) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple13) -> (rule3 % int4)) ((((triple13) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple11) -> (rule4 % int5))) -> (rule3 % int4)) ((triple12) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((triple12) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((triple11) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple13) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple13) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((((triple11) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((((triple11) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple12 ((((((triple11) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple12 ((((((triple11) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple13) -> (rule3 % int5)) ((((((triple11) -> (rule4 % int4))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple13) -> (rule3 % int5)) ((((((triple11) -> (rule7 % int4))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((triple11) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple11) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((triple11) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple11) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple11) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple11) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
triple10
((triple12) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple13) -> (rule3 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((((triple11) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple11) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple11
((triple9) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((((triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple12 triple10) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((((triple12) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple12 ((triple12) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((((triple13) -> (rule3 % int4)) triple10) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple13) -> (rule3 % int5)) ((triple12) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((((triple13) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple12 ((((triple13) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((triple13) -> (rule3 % int5)) ((((triple13) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
triple12
((triple13) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple11) -> (rule7 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple9) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((((((triple10) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((((((triple10) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
triple13
((triple11) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple11) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple9) -> (rule6 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((((triple10) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple10) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple12 triple10) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple12 triple10) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((((triple12) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((((triple12) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple12 ((triple12) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple12 ((triple12) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
triple14
((triple15) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple15
((((((((((triple14) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((((triple14) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
triple16
Dave is young.
("Dave" "is" "young" "+")
((triple10) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple12 triple10) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple12 ((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple13) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple13) -> (rule3 % int3)) ((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((triple12 ((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple11) -> (rule4 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple11) -> (rule7 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple13) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple11) -> (rule4 % int4))) -> (rule3 % int3)) ((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple11) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple11) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple12 ((((((triple11) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple12 ((((((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((triple13) -> (rule3 % int4)) ((((((triple11) -> (rule4 % int3))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple13) -> (rule3 % int4)) ((((((triple11) -> (rule7 % int3))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple11) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple11) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((triple12 ((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((triple12 ((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((triple13) -> (rule3 % int5)) ((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple13) -> (rule3 % int5)) ((((((((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple11) -> (rule4 % int5))) -> (rule3 % int4)) ((((((((triple9) -> (rule6 % int3))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple11) -> (rule4 % int5))) -> (rule3 % int4)) ((((((((triple9) -> (rule6 % int3))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((((((triple9) -> (rule6 % int3))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((((((triple9) -> (rule6 % int3))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
((triple14) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple15 triple14) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple15) -> (rule5 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple15 ((triple15) -> (rule5 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple16) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple15 triple14) -> (rule8 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((((triple15) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple15 ((triple15) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((triple16) -> (rule3 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((((((triple14) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple15 triple14) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((((triple15) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple15 ((triple15) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
((((((triple16) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple16) -> (rule3 % int3)) ((((triple16) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
((((((((triple14) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple14) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple15 triple14) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple15 triple14) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((((triple15) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple15) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((triple15 ((triple15) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((triple15 ((triple15) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Gary is cold.
("Gary" "is" "cold" "+")
((((((((triple16) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple16) -> (rule3 % int4)) ((((triple16) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
((((((((((triple16) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((triple16) -> (rule3 % int5)) ((((triple16) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5