Anne is green. Anne is smart. Anne is young. Dave is blue. Dave is cold. Dave is green. Dave is smart. Erin is big. Erin is cold. Erin is smart. Erin is young. Harry is cold. If someone is cold and young then they are green. Big people are green. Cold people are big. All young people are big. All cold, round people are smart. If Erin is big and Erin is smart then Erin is cold. All smart people are young. Young, green people are big. If someone is green then they are round.
Anne is green.
("Anne" "is" "green" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is cold and young then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Cold people are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
All young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
All cold, round people are smart.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
If Erin is big and Erin is smart then Erin is cold.
((("Erin" "is" "big" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "cold" "+"))
All smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
Young, green people are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Dave is blue.
True
1
proof
[(triple4)]
("Dave" "is" "blue" "+")
triple4
Anne is not green.
False
1
inv-proof
[(triple1 OR ((((triple3) -> rule4)) -> rule2) OR ((((((triple2) -> rule7)) -> rule4)) -> rule2))]
("Anne" "is" "green" "-")
triple1
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is round.
True
2
proof
[(((triple1) -> rule9) OR ((((((triple3) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule7)) -> rule4)) -> rule2)) -> rule9))]
("Anne" "is" "round" "+")
((triple1) -> (rule9 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((((triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Dave is not round.
False
2
inv-proof
[(((triple6) -> rule9) OR ((((((triple5) -> rule3)) -> rule2)) -> rule9) OR ((((triple5 ((triple7) -> rule7)) -> rule1)) -> rule9) OR ((((((((triple7) -> rule7)) -> rule4)) -> rule2)) -> rule9))]
("Dave" "is" "round" "-")
((triple6) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((((triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple5 ((triple7) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((((triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Harry is green.
True
3
proof
[(((((triple12) -> rule3)) -> rule2))]
("Harry" "is" "green" "+")
((((triple12) -> (rule3 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not green.
False
3
inv-proof
[(((((triple12) -> rule3)) -> rule2))]
("Harry" "is" "green" "-")
((((triple12) -> (rule3 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
True
4
proof
[(((((((triple12) -> rule3)) -> rule2)) -> rule9))]
("Harry" "is" "round" "+")
((((((triple12) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is not round.
False
4
inv-proof
[(((((((triple12) -> rule3)) -> rule2)) -> rule9))]
("Harry" "is" "round" "-")
((((((triple12) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is smart.
True
6
proof
[(((triple12 ((((((triple12) -> rule3)) -> rule2)) -> rule9)) -> rule5))]
("Harry" "is" "smart" "+")
((triple12 ((((((triple12) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is not smart.
False
6
inv-proof
[(((triple12 ((((((triple12) -> rule3)) -> rule2)) -> rule9)) -> rule5))]
("Harry" "is" "smart" "-")
((triple12 ((((((triple12) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is young.
True
7
proof
[(((((triple12 ((((((triple12) -> rule3)) -> rule2)) -> rule9)) -> rule5)) -> rule7))]
("Harry" "is" "young" "+")
((((triple12 ((((((triple12) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is not young.
False
7
inv-proof
[(((((triple12 ((((((triple12) -> rule3)) -> rule2)) -> rule9)) -> rule5)) -> rule7))]
("Harry" "is" "young" "-")
((((triple12 ((((((triple12) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Anne is green.[(triple1 OR ((((triple3) -> rule4)) -> rule2) OR ((((((triple2) -> rule7)) -> rule4)) -> rule2))] Anne is smart.[(triple2)] Anne is young.[(triple3 OR ((triple2) -> rule7))] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is green.[(triple6 OR ((((triple5) -> rule3)) -> rule2) OR ((triple5 ((triple7) -> rule7)) -> rule1) OR ((((((triple7) -> rule7)) -> rule4)) -> rule2))] Dave is smart.[(triple7 OR ((triple5 ((triple6) -> rule9)) -> rule5) OR ((triple5 ((((((triple5) -> rule3)) -> rule2)) -> rule9)) -> rule5))] Erin is big.[(triple8 OR ((triple11) -> rule4) OR ((triple9) -> rule3) OR ((((triple10) -> rule7)) -> rule4) OR ((triple11 ((triple9 triple11) -> rule1)) -> rule8) OR ((((triple10) -> rule7) ((triple9 triple11) -> rule1)) -> rule8) OR ((triple11 ((triple9 ((triple10) -> rule7)) -> rule1)) -> rule8) OR ((((triple10) -> rule7) ((triple9 ((triple10) -> rule7)) -> rule1)) -> rule8))] Erin is cold.[(triple9 OR ((triple8 triple10) -> rule6) OR ((((triple11) -> rule4) triple10) -> rule6) OR ((((((triple10) -> rule7)) -> rule4) triple10) -> rule6))] Erin is smart.[(triple10 OR ((triple9 ((((triple8) -> rule2)) -> rule9)) -> rule5) OR ((triple9 ((((triple9 triple11) -> rule1)) -> rule9)) -> rule5) OR ((triple9 ((((((triple11) -> rule4)) -> rule2)) -> rule9)) -> rule5) OR ((triple9 ((((((triple9) -> rule3)) -> rule2)) -> rule9)) -> rule5))] Erin is young.[(triple11 OR ((triple10) -> rule7) OR ((((triple9 ((((triple8) -> rule2)) -> rule9)) -> rule5)) -> rule7) OR ((((triple9 ((((((triple9) -> rule3)) -> rule2)) -> rule9)) -> rule5)) -> rule7))] Harry is cold.[(triple12)] @1: Anne is big.[(((triple3) -> rule4) OR ((triple3 triple1) -> rule8) OR ((((triple2) -> rule7)) -> rule4) OR ((((triple2) -> rule7) triple1) -> rule8))] Anne is round.[(((triple1) -> rule9) OR ((((((triple3) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule7)) -> rule4)) -> rule2)) -> rule9))] Dave is big.[(((triple5) -> rule3) OR ((((triple7) -> rule7)) -> rule4) OR ((((triple7) -> rule7) triple6) -> rule8) OR ((((triple7) -> rule7) ((triple5 ((triple7) -> rule7)) -> rule1)) -> rule8) OR ((((((triple5 ((triple6) -> rule9)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple5 ((triple6) -> rule9)) -> rule5)) -> rule7) triple6) -> rule8) OR ((((((triple5 ((triple6) -> rule9)) -> rule5)) -> rule7) ((triple5 ((triple7) -> rule7)) -> rule1)) -> rule8))] Dave is round.[(((triple6) -> rule9) OR ((((((triple5) -> rule3)) -> rule2)) -> rule9) OR ((((triple5 ((triple7) -> rule7)) -> rule1)) -> rule9) OR ((((((((triple7) -> rule7)) -> rule4)) -> rule2)) -> rule9))] Dave is young.[(((triple7) -> rule7) OR ((((triple5 ((triple6) -> rule9)) -> rule5)) -> rule7) OR ((((triple5 ((((((triple5) -> rule3)) -> rule2)) -> rule9)) -> rule5)) -> rule7))] Erin is green.[(((triple8) -> rule2) OR ((triple9 triple11) -> rule1) OR ((((triple11) -> rule4)) -> rule2) OR ((((triple9) -> rule3)) -> rule2) OR ((triple9 ((triple10) -> rule7)) -> rule1) OR ((((triple8 triple10) -> rule6) triple11) -> rule1) OR ((((triple8 triple10) -> rule6) ((triple10) -> rule7)) -> rule1) OR ((((((triple10) -> rule7)) -> rule4)) -> rule2) OR ((((((triple11) -> rule4) triple10) -> rule6) triple11) -> rule1) OR ((((((triple11) -> rule4) triple10) -> rule6) ((triple10) -> rule7)) -> rule1) OR ((((((((triple10) -> rule7)) -> rule4) triple10) -> rule6) triple11) -> rule1) OR ((((((((triple10) -> rule7)) -> rule4) triple10) -> rule6) ((triple10) -> rule7)) -> rule1))] Harry is big.[(((triple12) -> rule3))] @2: Erin is round.[(((((triple8) -> rule2)) -> rule9) OR ((((triple9 triple11) -> rule1)) -> rule9) OR ((((((triple11) -> rule4)) -> rule2)) -> rule9) OR ((((((triple9) -> rule3)) -> rule2)) -> rule9) OR ((((triple9 ((triple10) -> rule7)) -> rule1)) -> rule9) OR ((((((triple8 triple10) -> rule6) triple11) -> rule1)) -> rule9) OR ((((((triple8 triple10) -> rule6) ((triple10) -> rule7)) -> rule1)) -> rule9) OR ((((((((triple10) -> rule7)) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple11) -> rule4) triple10) -> rule6) triple11) -> rule1)) -> rule9) OR ((((((((triple11) -> rule4) triple10) -> rule6) ((triple10) -> rule7)) -> rule1)) -> rule9) OR ((((((((((triple10) -> rule7)) -> rule4) triple10) -> rule6) triple11) -> rule1)) -> rule9) OR ((((((((((triple10) -> rule7)) -> rule4) triple10) -> rule6) ((triple10) -> rule7)) -> rule1)) -> rule9))] Harry is green.[(((((triple12) -> rule3)) -> rule2))] @3: Harry is round.[(((((((triple12) -> rule3)) -> rule2)) -> rule9))] @4: Harry is smart.[(((triple12 ((((((triple12) -> rule3)) -> rule2)) -> rule9)) -> rule5))] @5: Harry is young.[(((((triple12 ((((((triple12) -> rule3)) -> rule2)) -> rule9)) -> rule5)) -> rule7))]
Anne is green.
("Anne" "is" "green" "+")
triple1
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
((triple2) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((triple5 ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((((triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
triple7
((triple5 ((triple6) -> (rule9 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((triple5 ((((((triple5) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
triple8
((triple11) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple9) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((triple11 ((triple9 triple11) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple9 triple11) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple11 ((triple9 ((triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple10) -> (rule7 % int3)) ((triple9 ((triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
triple9
((triple8 triple10) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple11) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple10) -> (rule7 % int3))) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
triple10
((triple9 ((((triple8) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((triple9 ((((triple9 triple11) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((triple9 ((((((triple11) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((triple9 ((((((triple9) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
triple11
((triple10) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple9 ((((triple8) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple9 ((((((triple9) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Anne is big.
("Anne" "is" "big" "+")
((triple3) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple3 triple1) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple2) -> (rule7 % int2)) triple1) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule9 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((((triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
((triple5) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple7) -> (rule7 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple7) -> (rule7 % int2)) triple6) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple7) -> (rule7 % int3)) ((triple5 ((triple7) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple5 ((triple6) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple5 ((triple6) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) triple6) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple5 ((triple6) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((triple5 ((triple7) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
((triple6) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((((triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple5 ((triple7) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((((triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
((triple7) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple5 ((triple6) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple5 ((((((triple5) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
((triple8) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple9 triple11) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple9) -> (rule3 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple9 ((triple10) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple8 triple10) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple8 triple10) -> (rule6 % int3)) ((triple10) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple11) -> (rule4 % int3)) triple10) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple11) -> (rule4 % int4)) triple10) -> (rule6 % int3)) ((triple10) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple10) -> (rule7 % int4))) -> (rule4 % int3)) triple10) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple10) -> (rule7 % int4))) -> (rule4 % int3)) triple10) -> (rule6 % int2)) ((triple10) -> (rule7 % int4))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
((triple12) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((((triple8) -> (rule2 % int2))) -> (rule9 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple9 triple11) -> (rule1 % int2))) -> (rule9 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple11) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple9) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple9 ((triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple8 triple10) -> (rule6 % int3)) triple11) -> (rule1 % int2))) -> (rule9 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple8 triple10) -> (rule6 % int4)) ((triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple11) -> (rule4 % int4)) triple10) -> (rule6 % int3)) triple11) -> (rule1 % int2))) -> (rule9 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple11) -> (rule4 % int5)) triple10) -> (rule6 % int4)) ((triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) triple10) -> (rule6 % int3)) triple11) -> (rule1 % int2))) -> (rule9 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) triple10) -> (rule6 % int3)) ((triple10) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule9 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
((((triple12) -> (rule3 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((((triple12) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
((triple12 ((((((triple12) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((((triple12 ((((((triple12) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5