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