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