Bob is big. Bob is blue. Bob is quiet. Bob is rough. Bob is round. Bob is young. Erin is big. Erin is blue. Erin is quiet. Erin is rough. Erin is round. Erin is young. Harry is big. Harry is quiet. Harry is round. Harry is young. Quiet, big people are young. All blue, big people are young. All big, rough people are cold. If someone is big and blue then they are round. Cold people are blue. If someone is round and quiet then they are big. Rough, young people are cold. All big, blue people are quiet.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Quiet, big people are young.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
All blue, big people are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
All big, rough people are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and quiet then they are big.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Rough, young people are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
All big, blue people are quiet.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
Bob is round.
True
1
proof
[(triple5 OR ((triple1 triple2) -> rule4) OR ((triple1 ((((triple1 triple4) -> rule3)) -> rule5)) -> rule4) OR ((triple1 ((((triple4 triple6) -> rule7)) -> rule5)) -> rule4) OR ((triple1 ((((triple4 ((triple3 triple1) -> rule1)) -> rule7)) -> rule5)) -> rule4))]
("Bob" "is" "round" "+")
triple5
((triple1 triple2) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple1 ((((triple1 triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple1 ((((triple4 triple6) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple1 ((((triple4 ((triple3 triple1) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Harry is not big.
False
1
inv-proof
[(triple13 OR ((triple15 triple14) -> rule6))]
("Harry" "is" "big" "-")
triple13
((triple15 triple14) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Bob is big.[(triple1 OR ((triple5 triple3) -> rule6))] Bob is blue.[(triple2 OR ((((triple1 triple4) -> rule3)) -> rule5) OR ((((triple4 triple6) -> rule7)) -> rule5) OR ((((triple4 ((triple3 triple1) -> rule1)) -> rule7)) -> rule5) OR ((((((triple5 triple3) -> rule6) triple4) -> rule3)) -> rule5) OR ((((triple4 ((triple3 ((triple5 triple3) -> rule6)) -> rule1)) -> rule7)) -> rule5))] Bob is quiet.[(triple3 OR ((triple1 triple2) -> rule8) OR ((triple1 ((((triple1 triple4) -> rule3)) -> rule5)) -> rule8) OR ((triple1 ((((triple4 triple6) -> rule7)) -> rule5)) -> rule8))] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple1 triple2) -> rule4) OR ((triple1 ((((triple1 triple4) -> rule3)) -> rule5)) -> rule4) OR ((triple1 ((((triple4 triple6) -> rule7)) -> rule5)) -> rule4) OR ((triple1 ((((triple4 ((triple3 triple1) -> rule1)) -> rule7)) -> rule5)) -> rule4))] Bob is young.[(triple6 OR ((triple2 triple1) -> rule2) OR ((triple3 triple1) -> rule1) OR ((triple2 ((triple5 triple3) -> rule6)) -> rule2) OR ((triple3 ((triple5 triple3) -> rule6)) -> rule1) OR ((((triple1 triple2) -> rule8) triple1) -> rule1) OR ((((triple1 triple2) -> rule8) ((triple5 triple3) -> rule6)) -> rule1) OR ((((((triple1 triple4) -> rule3)) -> rule5) triple1) -> rule2) OR ((((((triple1 triple4) -> rule3)) -> rule5) ((triple5 triple3) -> rule6)) -> rule2) OR ((((((((triple5 triple3) -> rule6) triple4) -> rule3)) -> rule5) triple1) -> rule2) OR ((((triple1 ((((triple1 triple4) -> rule3)) -> rule5)) -> rule8) triple1) -> rule1) OR ((((((((triple5 triple3) -> rule6) triple4) -> rule3)) -> rule5) ((triple5 triple3) -> rule6)) -> rule2) OR ((((triple1 ((((triple1 triple4) -> rule3)) -> rule5)) -> rule8) ((triple5 triple3) -> rule6)) -> rule1))] Erin is big.[(triple7 OR ((triple11 triple9) -> rule6))] Erin is blue.[(triple8 OR ((((triple10 triple12) -> rule7)) -> rule5) OR ((((triple7 triple10) -> rule3)) -> rule5) OR ((((triple10 ((triple9 triple7) -> rule1)) -> rule7)) -> rule5) OR ((((((triple11 triple9) -> rule6) triple10) -> rule3)) -> rule5) OR ((((triple10 ((triple9 ((triple11 triple9) -> rule6)) -> rule1)) -> rule7)) -> rule5))] Erin is quiet.[(triple9 OR ((triple7 triple8) -> rule8) OR ((triple7 ((((triple10 triple12) -> rule7)) -> rule5)) -> rule8) OR ((triple7 ((((triple7 triple10) -> rule3)) -> rule5)) -> rule8))] Erin is rough.[(triple10)] Erin is round.[(triple11 OR ((triple7 triple8) -> rule4) OR ((triple7 ((((triple10 triple12) -> rule7)) -> rule5)) -> rule4) OR ((triple7 ((((triple7 triple10) -> rule3)) -> rule5)) -> rule4) OR ((triple7 ((((triple10 ((triple9 triple7) -> rule1)) -> rule7)) -> rule5)) -> rule4))] Erin is young.[(triple12 OR ((triple8 triple7) -> rule2) OR ((triple9 triple7) -> rule1) OR ((triple8 ((triple11 triple9) -> rule6)) -> rule2) OR ((triple9 ((triple11 triple9) -> rule6)) -> rule1) OR ((((triple7 triple8) -> rule8) triple7) -> rule1) OR ((((triple7 triple8) -> rule8) ((triple11 triple9) -> rule6)) -> rule1) OR ((((((triple7 triple10) -> rule3)) -> rule5) triple7) -> rule2) OR ((((((triple7 triple10) -> rule3)) -> rule5) ((triple11 triple9) -> rule6)) -> rule2) OR ((((((((triple11 triple9) -> rule6) triple10) -> rule3)) -> rule5) triple7) -> rule2) OR ((((triple7 ((((triple7 triple10) -> rule3)) -> rule5)) -> rule8) triple7) -> rule1) OR ((((((((triple11 triple9) -> rule6) triple10) -> rule3)) -> rule5) ((triple11 triple9) -> rule6)) -> rule2) OR ((((triple7 ((((triple7 triple10) -> rule3)) -> rule5)) -> rule8) ((triple11 triple9) -> rule6)) -> rule1))] Harry is big.[(triple13 OR ((triple15 triple14) -> rule6))] Harry is quiet.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16 OR ((triple14 triple13) -> rule1) OR ((triple14 ((triple15 triple14) -> rule6)) -> rule1))] @1: Bob is cold.[(((triple1 triple4) -> rule3) OR ((triple4 triple6) -> rule7) OR ((triple4 ((triple2 triple1) -> rule2)) -> rule7) OR ((triple4 ((triple3 triple1) -> rule1)) -> rule7) OR ((((triple5 triple3) -> rule6) triple4) -> rule3) OR ((triple4 ((triple2 ((triple5 triple3) -> rule6)) -> rule2)) -> rule7) OR ((triple4 ((triple3 ((triple5 triple3) -> rule6)) -> rule1)) -> rule7) OR ((triple4 ((((triple1 triple2) -> rule8) triple1) -> rule1)) -> rule7) OR ((triple4 ((((triple1 triple2) -> rule8) ((triple5 triple3) -> rule6)) -> rule1)) -> rule7))] Erin is cold.[(((triple10 triple12) -> rule7) OR ((triple7 triple10) -> rule3) OR ((triple10 ((triple8 triple7) -> rule2)) -> rule7) OR ((triple10 ((triple9 triple7) -> rule1)) -> rule7) OR ((((triple11 triple9) -> rule6) triple10) -> rule3) OR ((triple10 ((triple8 ((triple11 triple9) -> rule6)) -> rule2)) -> rule7) OR ((triple10 ((triple9 ((triple11 triple9) -> rule6)) -> rule1)) -> rule7) OR ((triple10 ((((triple7 triple8) -> rule8) triple7) -> rule1)) -> rule7) OR ((triple10 ((((triple7 triple8) -> rule8) ((triple11 triple9) -> rule6)) -> rule1)) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple5 triple3) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((((triple1 triple4) -> (rule3 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple4 triple6) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple4 ((triple3 triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple5 triple3) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((triple4 ((triple3 ((triple5 triple3) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((triple1 triple2) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple1 ((((triple1 triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple1 ((((triple4 triple6) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple1 triple2) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple1 ((((triple1 triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple1 ((((triple4 triple6) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple1 ((((triple4 ((triple3 triple1) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
triple6
((triple2 triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple3 triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple2 ((triple5 triple3) -> (rule6 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple3 ((triple5 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple1 triple2) -> (rule8 % int2)) triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple1 triple2) -> (rule8 % int3)) ((triple5 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple1 triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple1 triple4) -> (rule3 % int4))) -> (rule5 % int3)) ((triple5 triple3) -> (rule6 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((((triple5 triple3) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple1 ((((triple1 triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((((triple5 triple3) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((triple5 triple3) -> (rule6 % int4))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple1 ((((triple1 triple4) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((triple5 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
triple7
((triple11 triple9) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple8
((((triple10 triple12) -> (rule7 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7 triple10) -> (rule3 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple10 ((triple9 triple7) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple11 triple9) -> (rule6 % int3)) triple10) -> (rule3 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple10 ((triple9 ((triple11 triple9) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
((triple7 triple8) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple7 ((((triple10 triple12) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple7 ((((triple7 triple10) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
triple11
((triple7 triple8) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple7 ((((triple10 triple12) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple7 ((((triple7 triple10) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple7 ((((triple10 ((triple9 triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
triple12
((triple8 triple7) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple9 triple7) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple8 ((triple11 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple9 ((triple11 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple7 triple8) -> (rule8 % int2)) triple7) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple7 triple8) -> (rule8 % int3)) ((triple11 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple7 triple10) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple7 triple10) -> (rule3 % int4))) -> (rule5 % int3)) ((triple11 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple11 triple9) -> (rule6 % int4)) triple10) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple7 ((((triple7 triple10) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple7) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple11 triple9) -> (rule6 % int4)) triple10) -> (rule3 % int3))) -> (rule5 % int2)) ((triple11 triple9) -> (rule6 % int4))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple7 ((((triple7 triple10) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((triple11 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
triple13
((triple15 triple14) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple14 triple13) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple14 ((triple15 triple14) -> (rule6 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((triple1 triple4) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple4 triple6) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple4 ((triple2 triple1) -> (rule2 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((triple4 ((triple3 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple5 triple3) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple4 ((triple2 ((triple5 triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple4 ((triple3 ((triple5 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple4 ((((triple1 triple2) -> (rule8 % int3)) triple1) -> (rule1 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple4 ((((triple1 triple2) -> (rule8 % int4)) ((triple5 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
((triple10 triple12) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple7 triple10) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple10 ((triple8 triple7) -> (rule2 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((triple10 ((triple9 triple7) -> (rule1 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple11 triple9) -> (rule6 % int2)) triple10) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple10 ((triple8 ((triple11 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple10 ((triple9 ((triple11 triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple10 ((((triple7 triple8) -> (rule8 % int3)) triple7) -> (rule1 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple10 ((((triple7 triple8) -> (rule8 % int4)) ((triple11 triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4