Charlie is big. Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is young. Erin is big. Erin is cold. Erin is quiet. Erin is round. Erin is smart. Erin is young. Harry is cold. Harry is quiet. Harry is smart. If someone is cold then they are quiet. All young people are big. Round people are quiet. Big people are round. If someone is quiet and round then they are young. If someone is young and blue then they are cold. If someone is smart then they are cold. Smart people are big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is cold then they are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
All young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is quiet and round then they are young.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is young and blue then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is smart then they are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Erin is smart.
True
1
proof
[(triple12)]
("Erin" "is" "smart" "+")
triple12
Harry is not smart.
False
1
inv-proof
[(triple16)]
("Harry" "is" "smart" "-")
triple16
Harry is big.
True
2
proof
[(((triple16) -> rule8))]
("Harry" "is" "big" "+")
((triple16) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
2
inv-proof
[(((triple16) -> rule8))]
("Harry" "is" "big" "-")
((triple16) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
True
3
proof
[(((((triple16) -> rule8)) -> rule4))]
("Harry" "is" "round" "+")
((((triple16) -> (rule8 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not round.
False
3
inv-proof
[(((((triple16) -> rule8)) -> rule4))]
("Harry" "is" "round" "-")
((((triple16) -> (rule8 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
True
5
proof
[(((triple15 ((((triple16) -> rule8)) -> rule4)) -> rule5) OR ((((triple14) -> rule1) ((((triple16) -> rule8)) -> rule4)) -> rule5) OR ((((((triple16) -> rule7)) -> rule1) ((((triple16) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple16) -> rule8)) -> rule4)) -> rule3) ((((triple16) -> rule8)) -> rule4)) -> rule5))]
("Harry" "is" "young" "+")
((triple15 ((((triple16) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple14) -> (rule1 % int4)) ((((triple16) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple16) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple16) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple16) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple16) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is not young.
False
5
inv-proof
[(((triple15 ((((triple16) -> rule8)) -> rule4)) -> rule5) OR ((((triple14) -> rule1) ((((triple16) -> rule8)) -> rule4)) -> rule5) OR ((((((triple16) -> rule7)) -> rule1) ((((triple16) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple16) -> rule8)) -> rule4)) -> rule3) ((((triple16) -> rule8)) -> rule4)) -> rule5))]
("Harry" "is" "young" "-")
((triple15 ((((triple16) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple14) -> (rule1 % int4)) ((((triple16) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple16) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple16) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple16) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple16) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
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: Charlie is big.[(triple1 OR ((triple6) -> rule8) OR ((triple7) -> rule2) OR ((((triple4 triple5) -> rule5)) -> rule2) OR ((((((triple3) -> rule1) triple5) -> rule5)) -> rule2) OR ((((((triple5) -> rule3) triple5) -> rule5)) -> rule2) OR ((((((((triple6) -> rule7)) -> rule1) triple5) -> rule5)) -> rule2))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple6) -> rule7) OR ((triple7 triple2) -> rule6) OR ((((triple4 triple5) -> rule5) triple2) -> rule6) OR ((((triple4 ((triple1) -> rule4)) -> rule5) triple2) -> rule6) OR ((((((triple5) -> rule3) triple5) -> rule5) triple2) -> rule6) OR ((((((triple5) -> rule3) ((triple1) -> rule4)) -> rule5) triple2) -> rule6) OR ((((triple4 ((((triple6) -> rule8)) -> rule4)) -> rule5) triple2) -> rule6) OR ((((((((triple1) -> rule4)) -> rule3) triple5) -> rule5) triple2) -> rule6) OR ((((((triple5) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule5) triple2) -> rule6) OR ((((((((triple1) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule5) triple2) -> rule6) OR ((((((((triple1) -> rule4)) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule5) triple2) -> rule6) OR ((((((((((triple6) -> rule8)) -> rule4)) -> rule3) triple5) -> rule5) triple2) -> rule6) OR ((((((((((triple6) -> rule8)) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule5) triple2) -> rule6) OR ((((((((((triple6) -> rule8)) -> rule4)) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule5) triple2) -> rule6))] Charlie is quiet.[(triple4 OR ((triple3) -> rule1) OR ((triple5) -> rule3) OR ((((triple1) -> rule4)) -> rule3) OR ((((triple6) -> rule7)) -> rule1) OR ((((triple7 triple2) -> rule6)) -> rule1) OR ((((((triple6) -> rule8)) -> rule4)) -> rule3) OR ((((((triple7) -> rule2)) -> rule4)) -> rule3))] Charlie is round.[(triple5 OR ((triple1) -> rule4) OR ((((triple6) -> rule8)) -> rule4) OR ((((triple7) -> rule2)) -> rule4))] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple1) -> rule4)) -> rule5) OR ((((triple3) -> rule1) triple5) -> rule5) OR ((((triple5) -> rule3) triple5) -> rule5) OR ((((triple3) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((triple5) -> rule3) ((triple1) -> rule4)) -> rule5) OR ((triple4 ((((triple6) -> rule8)) -> rule4)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3) triple5) -> rule5) OR ((((((triple6) -> rule7)) -> rule1) triple5) -> rule5) OR ((((triple3) -> rule1) ((((triple6) -> rule8)) -> rule4)) -> rule5) OR ((((triple5) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule5) OR ((((((triple6) -> rule7)) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule5) OR ((((((triple6) -> rule7)) -> rule1) ((((triple6) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule8)) -> rule4)) -> rule3) triple5) -> rule5) OR ((((((((triple6) -> rule8)) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule5) OR ((((((((triple6) -> rule8)) -> rule4)) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule5))] Erin is big.[(triple8 OR ((triple12) -> rule8) OR ((triple13) -> rule2) OR ((((triple10 triple11) -> rule5)) -> rule2) OR ((((((triple11) -> rule3) triple11) -> rule5)) -> rule2) OR ((((((triple9) -> rule1) triple11) -> rule5)) -> rule2) OR ((((((((triple12) -> rule7)) -> rule1) triple11) -> rule5)) -> rule2))] Erin is cold.[(triple9 OR ((triple12) -> rule7))] Erin is quiet.[(triple10 OR ((triple11) -> rule3) OR ((triple9) -> rule1) OR ((((triple12) -> rule7)) -> rule1) OR ((((triple8) -> rule4)) -> rule3) OR ((((((triple12) -> rule8)) -> rule4)) -> rule3) OR ((((((triple13) -> rule2)) -> rule4)) -> rule3))] Erin is round.[(triple11 OR ((triple8) -> rule4) OR ((((triple12) -> rule8)) -> rule4) OR ((((triple13) -> rule2)) -> rule4))] Erin is smart.[(triple12)] Erin is young.[(triple13 OR ((triple10 triple11) -> rule5) OR ((triple10 ((triple8) -> rule4)) -> rule5) OR ((((triple11) -> rule3) triple11) -> rule5) OR ((((triple9) -> rule1) triple11) -> rule5) OR ((((triple11) -> rule3) ((triple8) -> rule4)) -> rule5) OR ((((triple9) -> rule1) ((triple8) -> rule4)) -> rule5) OR ((triple10 ((((triple12) -> rule8)) -> rule4)) -> rule5) OR ((((((triple12) -> rule7)) -> rule1) triple11) -> rule5) OR ((((((triple8) -> rule4)) -> rule3) triple11) -> rule5) OR ((((triple11) -> rule3) ((((triple12) -> rule8)) -> rule4)) -> rule5) OR ((((triple9) -> rule1) ((((triple12) -> rule8)) -> rule4)) -> rule5) OR ((((((triple12) -> rule7)) -> rule1) ((triple8) -> rule4)) -> rule5) OR ((((((triple8) -> rule4)) -> rule3) ((triple8) -> rule4)) -> rule5) OR ((((((triple12) -> rule7)) -> rule1) ((((triple12) -> rule8)) -> rule4)) -> rule5) OR ((((((triple8) -> rule4)) -> rule3) ((((triple12) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple12) -> rule8)) -> rule4)) -> rule3) triple11) -> rule5) OR ((((((((triple12) -> rule8)) -> rule4)) -> rule3) ((triple8) -> rule4)) -> rule5) OR ((((((((triple12) -> rule8)) -> rule4)) -> rule3) ((((triple12) -> rule8)) -> rule4)) -> rule5))] Harry is cold.[(triple14 OR ((triple16) -> rule7))] Harry is quiet.[(triple15 OR ((triple14) -> rule1) OR ((((triple16) -> rule7)) -> rule1) OR ((((((triple16) -> rule8)) -> rule4)) -> rule3))] Harry is smart.[(triple16)] @1: Harry is big.[(((triple16) -> rule8))] @2: Harry is round.[(((((triple16) -> rule8)) -> rule4))] @3: Harry is young.[(((triple15 ((((triple16) -> rule8)) -> rule4)) -> rule5) OR ((((triple14) -> rule1) ((((triple16) -> rule8)) -> rule4)) -> rule5) OR ((((((triple16) -> rule7)) -> rule1) ((((triple16) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple16) -> rule8)) -> rule4)) -> rule3) ((((triple16) -> rule8)) -> rule4)) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple6) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple7) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple4 triple5) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((((triple3) -> (rule1 % int3)) triple5) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple5) -> (rule3 % int3)) triple5) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((((triple6) -> (rule7 % int4))) -> (rule1 % int3)) triple5) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
((triple6) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple7 triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((triple4 triple5) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple4 ((triple1) -> (rule4 % int3))) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple5) -> (rule3 % int3)) triple5) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple5) -> (rule3 % int4)) ((triple1) -> (rule4 % int3))) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple4 ((((triple6) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple1) -> (rule4 % int4))) -> (rule3 % int3)) triple5) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple5) -> (rule3 % int5)) ((((triple6) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple1) -> (rule4 % int4))) -> (rule3 % int3)) ((triple1) -> (rule4 % int4))) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple1) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple6) -> (rule8 % int3))) -> (rule4 % int5))) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((((triple6) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple5) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((((triple6) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple1) -> (rule4 % int4))) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((((triple6) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
((triple3) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple5) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple6) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple7 triple2) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((((triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
triple5
((triple1) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
((triple4 triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple4 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple5) -> (rule3 % int2)) triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple3) -> (rule1 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple5) -> (rule3 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((triple4 ((((triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2)) triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple6) -> (rule7 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple3) -> (rule1 % int4)) ((((triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple5) -> (rule3 % int4)) ((((triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((triple1) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple6) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple1) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple6) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple6) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple1) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple6) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple6) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
triple8
((triple12) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple13) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple10 triple11) -> (rule5 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((((triple11) -> (rule3 % int3)) triple11) -> (rule5 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple9) -> (rule1 % int3)) triple11) -> (rule5 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((((triple12) -> (rule7 % int4))) -> (rule1 % int3)) triple11) -> (rule5 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
triple9
((triple12) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
((triple11) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple9) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple12) -> (rule7 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple8) -> (rule4 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((((triple12) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple13) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
triple11
((triple8) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple12) -> (rule8 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple13) -> (rule2 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple12
Erin is young.
("Erin" "is" "young" "+")
triple13
((triple10 triple11) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple10 ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple11) -> (rule3 % int2)) triple11) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple9) -> (rule1 % int2)) triple11) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple11) -> (rule3 % int3)) ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple9) -> (rule1 % int3)) ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple10 ((((triple12) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple12) -> (rule7 % int3))) -> (rule1 % int2)) triple11) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple8) -> (rule4 % int3))) -> (rule3 % int2)) triple11) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple11) -> (rule3 % int4)) ((((triple12) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple9) -> (rule1 % int4)) ((((triple12) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple12) -> (rule7 % int4))) -> (rule1 % int3)) ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple8) -> (rule4 % int3))) -> (rule3 % int2)) ((triple8) -> (rule4 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple12) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple12) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((triple8) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple12) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple12) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple11) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple12) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple8) -> (rule4 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple12) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple12) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
triple14
((triple16) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
((triple14) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple16) -> (rule7 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((triple16) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Harry is big.
("Harry" "is" "big" "+")
((triple16) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple16) -> (rule8 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple15 ((((triple16) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple14) -> (rule1 % int4)) ((((triple16) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple16) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple16) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple16) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple16) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4