Charlie is big. Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is smart. Erin is cold. Erin is smart. Fiona is blue. Gary is big. Gary is cold. Gary is quiet. Gary is smart. Smart, big things are young. Smart, blue things are furry. If something is cold and smart then it is blue. All smart things are big. Furry things are smart. Young things are cold. Blue things are furry. If something is big and furry then it is young.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Smart, big things are young.
((("something" "is" "smart" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Smart, blue things are furry.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If something is cold and smart then it is blue.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
All smart things are big.
((("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
Furry things are smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Blue things are furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If something is big and furry then it is young.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
Fiona is blue.
True
1
proof
[(triple8)]
("Fiona" "is" "blue" "+")
triple8
Gary is not big.
False
1
inv-proof
[(triple9 OR ((triple12) -> rule4))]
("Gary" "is" "big" "-")
triple9
((triple12) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Charlie is young.
True
3
proof
[(((triple1 triple3) -> rule8) OR ((triple5 triple1) -> rule1) OR ((triple1 ((triple2) -> rule7)) -> rule8) OR ((triple1 ((triple5 triple2) -> rule2)) -> rule8) OR ((triple5 ((triple5) -> rule4)) -> rule1) OR ((((triple3) -> rule5) triple1) -> rule1) OR ((((triple5) -> rule4) triple3) -> rule8) OR ((((triple3) -> rule5) ((triple5) -> rule4)) -> rule1) OR ((((triple5) -> rule4) ((triple2) -> rule7)) -> rule8) OR ((((triple5) -> rule4) ((triple5 triple2) -> rule2)) -> rule8) OR ((triple5 ((((triple3) -> rule5)) -> rule4)) -> rule1) OR ((((((triple2) -> rule7)) -> rule5) triple1) -> rule1) OR ((((((triple3) -> rule5)) -> rule4) triple3) -> rule8) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule4)) -> rule1) OR ((((((triple2) -> rule7)) -> rule5) ((triple5) -> rule4)) -> rule1) OR ((((((triple3) -> rule5)) -> rule4) ((triple2) -> rule7)) -> rule8) OR ((((((triple3) -> rule5)) -> rule4) ((triple5 triple2) -> rule2)) -> rule8) OR ((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule5)) -> rule4)) -> rule1) OR ((triple5 ((((((triple2) -> rule7)) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple2) -> rule7)) -> rule5)) -> rule4) triple3) -> rule8) OR ((((triple3) -> rule5) ((((((triple2) -> rule7)) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple2) -> rule7)) -> rule5)) -> rule4) ((triple2) -> rule7)) -> rule8) OR ((((((((triple2) -> rule7)) -> rule5)) -> rule4) ((triple5 triple2) -> rule2)) -> rule8) OR ((((((triple2) -> rule7)) -> rule5) ((((((triple2) -> rule7)) -> rule5)) -> rule4)) -> rule1))]
("Charlie" "is" "young" "+")
((triple1 triple3) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple5 triple1) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple1 ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((triple1 ((triple5 triple2) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((triple5 ((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple3) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple5) -> (rule4 % int2)) triple3) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple3) -> (rule5 % int3)) ((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple5) -> (rule4 % int3)) ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple5) -> (rule4 % int3)) ((triple5 triple2) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple5 ((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple3) -> (rule5 % int3))) -> (rule4 % int2)) triple3) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((triple5 triple2) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((triple5 ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple3) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple3) -> (rule5 % int4)) ((((((triple2) -> (rule7 % int3))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule7 % int4))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple5 triple2) -> (rule2 % int4))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Gary is not blue.
False
3
inv-proof
[(((triple10 triple12) -> rule3) OR ((((((triple12 triple9) -> rule1)) -> rule6) triple12) -> rule3) OR ((((((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6) triple12) -> rule3))]
("Gary" "is" "blue" "-")
((triple10 triple12) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((((triple12 triple9) -> (rule1 % int3))) -> (rule6 % int2)) triple12) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple12 ((triple12) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple12) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Erin is young.
True
4
proof
[(((triple7 ((triple7) -> rule4)) -> rule1) OR ((((triple7) -> rule4) ((((triple6 triple7) -> rule3)) -> rule7)) -> rule8) OR ((((triple7) -> rule4) ((triple7 ((triple6 triple7) -> rule3)) -> rule2)) -> rule8))]
("Erin" "is" "young" "+")
((triple7 ((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple7) -> (rule4 % int4)) ((((triple6 triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple7) -> (rule4 % int4)) ((triple7 ((triple6 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is not young.
False
4
inv-proof
[(((triple7 ((triple7) -> rule4)) -> rule1) OR ((((triple7) -> rule4) ((((triple6 triple7) -> rule3)) -> rule7)) -> rule8) OR ((((triple7) -> rule4) ((triple7 ((triple6 triple7) -> rule3)) -> rule2)) -> rule8))]
("Erin" "is" "young" "-")
((triple7 ((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple7) -> (rule4 % int4)) ((((triple6 triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple7) -> (rule4 % int4)) ((triple7 ((triple6 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Fiona is big.
True
4
proof
[(((((((triple8) -> rule7)) -> rule5)) -> rule4))]
("Fiona" "is" "big" "+")
((((((triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is not big.
False
4
inv-proof
[(((((((triple8) -> rule7)) -> rule5)) -> rule4))]
("Fiona" "is" "big" "-")
((((((triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
True
7
proof
[(((((((((triple8) -> rule7)) -> rule5)) -> rule4) ((triple8) -> rule7)) -> rule8) OR ((((((triple8) -> rule7)) -> rule5) ((((((triple8) -> rule7)) -> rule5)) -> rule4)) -> rule1))]
("Fiona" "is" "young" "+")
((((((((triple8) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple8) -> (rule7 % int4))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((triple8) -> (rule7 % int4))) -> (rule5 % int3)) ((((((triple8) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is not young.
False
7
inv-proof
[(((((((((triple8) -> rule7)) -> rule5)) -> rule4) ((triple8) -> rule7)) -> rule8) OR ((((((triple8) -> rule7)) -> rule5) ((((((triple8) -> rule7)) -> rule5)) -> rule4)) -> rule1))]
("Fiona" "is" "young" "-")
((((((((triple8) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple8) -> (rule7 % int4))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((triple8) -> (rule7 % int4))) -> (rule5 % int3)) ((((((triple8) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is cold.
True
8
proof
[(((((((((((triple8) -> rule7)) -> rule5)) -> rule4) ((triple8) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple8) -> rule7)) -> rule5) ((((((triple8) -> rule7)) -> rule5)) -> rule4)) -> rule1)) -> rule6))]
("Fiona" "is" "cold" "+")
((((((((((triple8) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((triple8) -> (rule7 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((((triple8) -> (rule7 % int5))) -> (rule5 % int4)) ((((((triple8) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is not cold.
False
8
inv-proof
[(((((((((((triple8) -> rule7)) -> rule5)) -> rule4) ((triple8) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple8) -> rule7)) -> rule5) ((((((triple8) -> rule7)) -> rule5)) -> rule4)) -> rule1)) -> rule6))]
("Fiona" "is" "cold" "-")
((((((((((triple8) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((triple8) -> (rule7 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((((triple8) -> (rule7 % int5))) -> (rule5 % int4)) ((((((triple8) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Charlie is big.[(triple1 OR ((triple5) -> rule4) OR ((((triple3) -> rule5)) -> rule4) OR ((((((triple2) -> rule7)) -> rule5)) -> rule4))] Charlie is blue.[(triple2 OR ((((((triple1 triple3) -> rule8)) -> rule6) triple5) -> rule3) OR ((((((triple5 triple1) -> rule1)) -> rule6) triple5) -> rule3) OR ((((((triple1 triple3) -> rule8)) -> rule6) ((triple3) -> rule5)) -> rule3) OR ((((((triple5 triple1) -> rule1)) -> rule6) ((triple3) -> rule5)) -> rule3) OR ((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule6) triple5) -> rule3) OR ((((((((triple3) -> rule5) triple1) -> rule1)) -> rule6) triple5) -> rule3) OR ((((((((triple5) -> rule4) triple3) -> rule8)) -> rule6) triple5) -> rule3) OR ((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule6) ((triple3) -> rule5)) -> rule3) OR ((((((((triple3) -> rule5) triple1) -> rule1)) -> rule6) ((triple3) -> rule5)) -> rule3) OR ((((((((triple3) -> rule5) ((triple5) -> rule4)) -> rule1)) -> rule6) triple5) -> rule3) OR ((((((((triple5) -> rule4) triple3) -> rule8)) -> rule6) ((triple3) -> rule5)) -> rule3) OR ((((((((triple3) -> rule5) ((triple5) -> rule4)) -> rule1)) -> rule6) ((triple3) -> rule5)) -> rule3) OR ((((((triple5 ((((triple3) -> rule5)) -> rule4)) -> rule1)) -> rule6) triple5) -> rule3) OR ((((((((((triple3) -> rule5)) -> rule4) triple3) -> rule8)) -> rule6) triple5) -> rule3) OR ((((((triple5 ((((triple3) -> rule5)) -> rule4)) -> rule1)) -> rule6) ((triple3) -> rule5)) -> rule3) OR ((((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule4)) -> rule1)) -> rule6) triple5) -> rule3) OR ((((((((((triple3) -> rule5)) -> rule4) triple3) -> rule8)) -> rule6) ((triple3) -> rule5)) -> rule3) OR ((((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule4)) -> rule1)) -> rule6) ((triple3) -> rule5)) -> rule3))] Charlie is furry.[(triple3 OR ((triple2) -> rule7) OR ((triple5 triple2) -> rule2) OR ((((((((triple5 triple1) -> rule1)) -> rule6) triple5) -> rule3)) -> rule7) OR ((triple5 ((((((triple5 triple1) -> rule1)) -> rule6) triple5) -> rule3)) -> rule2) OR ((((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule6) triple5) -> rule3)) -> rule7) OR ((triple5 ((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule6) triple5) -> rule3)) -> rule2))] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5 OR ((triple3) -> rule5) OR ((((triple2) -> rule7)) -> rule5))] Erin is cold.[(triple6 OR ((((triple7 ((triple7) -> rule4)) -> rule1)) -> rule6))] Erin is smart.[(triple7)] Fiona is blue.[(triple8)] Gary is big.[(triple9 OR ((triple12) -> rule4))] Gary is cold.[(triple10 OR ((((triple12 triple9) -> rule1)) -> rule6) OR ((((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6))] Gary is quiet.[(triple11)] Gary is smart.[(triple12)] @1: Charlie is young.[(((triple1 triple3) -> rule8) OR ((triple5 triple1) -> rule1) OR ((triple1 ((triple2) -> rule7)) -> rule8) OR ((triple1 ((triple5 triple2) -> rule2)) -> rule8) OR ((triple5 ((triple5) -> rule4)) -> rule1) OR ((((triple3) -> rule5) triple1) -> rule1) OR ((((triple5) -> rule4) triple3) -> rule8) OR ((((triple3) -> rule5) ((triple5) -> rule4)) -> rule1) OR ((((triple5) -> rule4) ((triple2) -> rule7)) -> rule8) OR ((((triple5) -> rule4) ((triple5 triple2) -> rule2)) -> rule8) OR ((triple5 ((((triple3) -> rule5)) -> rule4)) -> rule1) OR ((((((triple2) -> rule7)) -> rule5) triple1) -> rule1) OR ((((((triple3) -> rule5)) -> rule4) triple3) -> rule8) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule4)) -> rule1) OR ((((((triple2) -> rule7)) -> rule5) ((triple5) -> rule4)) -> rule1) OR ((((((triple3) -> rule5)) -> rule4) ((triple2) -> rule7)) -> rule8) OR ((((((triple3) -> rule5)) -> rule4) ((triple5 triple2) -> rule2)) -> rule8) OR ((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule5)) -> rule4)) -> rule1) OR ((triple5 ((((((triple2) -> rule7)) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple2) -> rule7)) -> rule5)) -> rule4) triple3) -> rule8) OR ((((triple3) -> rule5) ((((((triple2) -> rule7)) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple2) -> rule7)) -> rule5)) -> rule4) ((triple2) -> rule7)) -> rule8) OR ((((((((triple2) -> rule7)) -> rule5)) -> rule4) ((triple5 triple2) -> rule2)) -> rule8) OR ((((((triple2) -> rule7)) -> rule5) ((((((triple2) -> rule7)) -> rule5)) -> rule4)) -> rule1))] Erin is big.[(((triple7) -> rule4))] Erin is blue.[(((triple6 triple7) -> rule3) OR ((((((triple7 ((triple7) -> rule4)) -> rule1)) -> rule6) triple7) -> rule3))] Fiona is furry.[(((triple8) -> rule7))] Gary is blue.[(((triple10 triple12) -> rule3) OR ((((((triple12 triple9) -> rule1)) -> rule6) triple12) -> rule3) OR ((((((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6) triple12) -> rule3))] Gary is young.[(((triple12 triple9) -> rule1) OR ((triple12 ((triple12) -> rule4)) -> rule1) OR ((triple9 ((((triple10 triple12) -> rule3)) -> rule7)) -> rule8) OR ((triple9 ((triple12 ((triple10 triple12) -> rule3)) -> rule2)) -> rule8) OR ((((triple12) -> rule4) ((((triple10 triple12) -> rule3)) -> rule7)) -> rule8) OR ((((triple12) -> rule4) ((triple12 ((triple10 triple12) -> rule3)) -> rule2)) -> rule8))] @2: Charlie is cold.[(((((triple1 triple3) -> rule8)) -> rule6) OR ((((triple5 triple1) -> rule1)) -> rule6) OR ((((triple1 ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((triple1 ((triple5 triple2) -> rule2)) -> rule8)) -> rule6) OR ((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule6) OR ((((((triple3) -> rule5) triple1) -> rule1)) -> rule6) OR ((((((triple5) -> rule4) triple3) -> rule8)) -> rule6) OR ((((((triple3) -> rule5) ((triple5) -> rule4)) -> rule1)) -> rule6) OR ((((((triple5) -> rule4) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5) -> rule4) ((triple5 triple2) -> rule2)) -> rule8)) -> rule6) OR ((((triple5 ((((triple3) -> rule5)) -> rule4)) -> rule1)) -> rule6) OR ((((((((triple2) -> rule7)) -> rule5) triple1) -> rule1)) -> rule6) OR ((((((((triple3) -> rule5)) -> rule4) triple3) -> rule8)) -> rule6) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule4)) -> rule1)) -> rule6) OR ((((((((triple2) -> rule7)) -> rule5) ((triple5) -> rule4)) -> rule1)) -> rule6) OR ((((((((triple3) -> rule5)) -> rule4) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple3) -> rule5)) -> rule4) ((triple5 triple2) -> rule2)) -> rule8)) -> rule6) OR ((((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule5)) -> rule4)) -> rule1)) -> rule6) OR ((((triple5 ((((((triple2) -> rule7)) -> rule5)) -> rule4)) -> rule1)) -> rule6) OR ((((((((((triple2) -> rule7)) -> rule5)) -> rule4) triple3) -> rule8)) -> rule6) OR ((((((triple3) -> rule5) ((((((triple2) -> rule7)) -> rule5)) -> rule4)) -> rule1)) -> rule6) OR ((((((((((triple2) -> rule7)) -> rule5)) -> rule4) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple2) -> rule7)) -> rule5)) -> rule4) ((triple5 triple2) -> rule2)) -> rule8)) -> rule6) OR ((((((((triple2) -> rule7)) -> rule5) ((((((triple2) -> rule7)) -> rule5)) -> rule4)) -> rule1)) -> rule6))] Erin is furry.[(((((triple6 triple7) -> rule3)) -> rule7) OR ((triple7 ((triple6 triple7) -> rule3)) -> rule2) OR ((((((((triple7 ((triple7) -> rule4)) -> rule1)) -> rule6) triple7) -> rule3)) -> rule7) OR ((triple7 ((((((triple7 ((triple7) -> rule4)) -> rule1)) -> rule6) triple7) -> rule3)) -> rule2))] Erin is young.[(((triple7 ((triple7) -> rule4)) -> rule1) OR ((((triple7) -> rule4) ((((triple6 triple7) -> rule3)) -> rule7)) -> rule8) OR ((((triple7) -> rule4) ((triple7 ((triple6 triple7) -> rule3)) -> rule2)) -> rule8))] Fiona is smart.[(((((triple8) -> rule7)) -> rule5))] Gary is furry.[(((((triple10 triple12) -> rule3)) -> rule7) OR ((triple12 ((triple10 triple12) -> rule3)) -> rule2) OR ((((((((triple12 triple9) -> rule1)) -> rule6) triple12) -> rule3)) -> rule7) OR ((triple12 ((((((triple12 triple9) -> rule1)) -> rule6) triple12) -> rule3)) -> rule2) OR ((((((((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6) triple12) -> rule3)) -> rule7) OR ((triple12 ((((((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6) triple12) -> rule3)) -> rule2))] @3: Fiona is big.[(((((((triple8) -> rule7)) -> rule5)) -> rule4))] @4: Fiona is young.[(((((((((triple8) -> rule7)) -> rule5)) -> rule4) ((triple8) -> rule7)) -> rule8) OR ((((((triple8) -> rule7)) -> rule5) ((((((triple8) -> rule7)) -> rule5)) -> rule4)) -> rule1))] @5: Fiona is cold.[(((((((((((triple8) -> rule7)) -> rule5)) -> rule4) ((triple8) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple8) -> rule7)) -> rule5) ((((((triple8) -> rule7)) -> rule5)) -> rule4)) -> rule1)) -> rule6))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple5) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
((((((triple1 triple3) -> (rule8 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple5 triple1) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple1 triple3) -> (rule8 % int4))) -> (rule6 % int3)) ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple5 triple1) -> (rule1 % int4))) -> (rule6 % int3)) ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple5 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple3) -> (rule5 % int4)) triple1) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((((triple5) -> (rule4 % int4)) triple3) -> (rule8 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple5 ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule5 % int4)) triple1) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3) -> (rule5 % int4))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((((triple3) -> (rule5 % int5)) ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple5) -> (rule4 % int5)) triple3) -> (rule8 % int4))) -> (rule6 % int3)) ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule5 % int5)) ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3) -> (rule5 % int5))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple5 ((((triple3) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) triple3) -> (rule8 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple5 ((((triple3) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3) -> (rule5 % int5))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple3) -> (rule5 % int5)) ((((triple3) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) triple3) -> (rule8 % int3))) -> (rule6 % int2)) ((triple3) -> (rule5 % int5))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple3) -> (rule5 % int5)) ((((triple3) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3) -> (rule5 % int5))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
((triple2) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple5 triple2) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((((((triple5 triple1) -> (rule1 % int4))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((triple5 ((((((triple5 triple1) -> (rule1 % int4))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple5 ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((triple5 ((((((triple5 ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
((triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
triple6
((((triple7 ((triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
((triple12) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple10
((((triple12 triple9) -> (rule1 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple12 ((triple12) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Charlie is young.
("Charlie" "is" "young" "+")
((triple1 triple3) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple5 triple1) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple1 ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((triple1 ((triple5 triple2) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((triple5 ((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple3) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple5) -> (rule4 % int2)) triple3) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple3) -> (rule5 % int3)) ((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple5) -> (rule4 % int3)) ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple5) -> (rule4 % int3)) ((triple5 triple2) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple5 ((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple3) -> (rule5 % int3))) -> (rule4 % int2)) triple3) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((triple5 triple2) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((triple5 ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple3) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple3) -> (rule5 % int4)) ((((((triple2) -> (rule7 % int3))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule7 % int4))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple5 triple2) -> (rule2 % int4))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
((triple7) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple6 triple7) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple7) -> (rule3 % 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
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple8) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple10 triple12) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((((triple12 triple9) -> (rule1 % int3))) -> (rule6 % int2)) triple12) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple12 ((triple12) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple12) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
((triple12 triple9) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple12 ((triple12) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple9 ((((triple10 triple12) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple9 ((triple12 ((triple10 triple12) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple12) -> (rule4 % int4)) ((((triple10 triple12) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple12) -> (rule4 % int4)) ((triple12 ((triple10 triple12) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple1 triple3) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple5 triple1) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple1 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple1 ((triple5 triple2) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5 ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple3) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple5) -> (rule4 % int3)) triple3) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple3) -> (rule5 % int4)) ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (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 smart.
("Charlie" "is" "smart" "+")
int4
((((((triple5) -> (rule4 % int4)) ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple5) -> (rule4 % int4)) ((triple5 triple2) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 ((((triple3) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (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 smart.
("Charlie" "is" "smart" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule8 % int2))) -> (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 smart.
("Charlie" "is" "smart" "+")
int4
((((((triple3) -> (rule5 % int4)) ((((triple3) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (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 smart.
("Charlie" "is" "smart" "+")
int4
((((((((triple2) -> (rule7 % int5))) -> (rule5 % int4)) ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (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 smart.
("Charlie" "is" "smart" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((triple5 triple2) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple2) -> (rule7 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (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 smart.
("Charlie" "is" "smart" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((triple5 ((((((triple2) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (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 smart.
("Charlie" "is" "smart" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((((triple2) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule8 % int2))) -> (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 smart.
("Charlie" "is" "smart" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((triple3) -> (rule5 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule5 % int5))) -> (rule4 % int3))) -> (rule1 % int2))) -> (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 furry.
("Charlie" "is" "furry" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((((triple2) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2) -> (rule7 % int5))) -> (rule8 % int2))) -> (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 smart.
("Charlie" "is" "smart" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((((triple2) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((triple5 triple2) -> (rule2 % int5))) -> (rule8 % int2))) -> (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 smart.
("Charlie" "is" "smart" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple2) -> (rule7 % int5))) -> (rule5 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (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 smart.
("Charlie" "is" "smart" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
((((triple6 triple7) -> (rule3 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple7 ((triple6 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((((triple7 ((triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((triple7 ((((((triple7 ((triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
((triple7 ((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple7) -> (rule4 % int4)) ((((triple6 triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple7) -> (rule4 % int4)) ((triple7 ((triple6 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple8) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((((triple10 triple12) -> (rule3 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple12 ((triple10 triple12) -> (rule3 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((((((triple12 triple9) -> (rule1 % int4))) -> (rule6 % int3)) triple12) -> (rule3 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((triple12 ((((((triple12 triple9) -> (rule1 % int4))) -> (rule6 % int3)) triple12) -> (rule3 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple12 ((triple12) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple12) -> (rule3 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((triple12 ((((((triple12 ((triple12) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple12) -> (rule3 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((((((((triple8) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple8) -> (rule7 % int4))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((triple8) -> (rule7 % int4))) -> (rule5 % int3)) ((((((triple8) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((((((triple8) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((triple8) -> (rule7 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((((triple8) -> (rule7 % int5))) -> (rule5 % int4)) ((((((triple8) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5