Anne is cold. Anne is furry. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Anne is young. Erin is round. Gary is cold. Gary is furry. Gary is quiet. Harry is furry. Harry is quiet. Harry is rough. Harry is round. Harry is smart. All round things are smart. Rough, quiet things are young. If something is young and cold then it is furry. If something is cold then it is smart. Rough things are cold. Round, smart things are young. If Erin is young and Erin is smart then Erin is rough. Rough, cold things are smart.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All round things are smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Rough, quiet things are young.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If something is young and cold then it is furry.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If something is cold then it is smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
Round, smart things are young.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
If Erin is young and Erin is smart then Erin is rough.
((("Erin" "is" "young" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "rough" "+"))
Rough, cold things are smart.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Anne is smart.
True
1
proof
[(triple6 OR ((triple1) -> rule4) OR ((triple5) -> rule1) OR ((triple4 triple1) -> rule8) OR ((((triple4) -> rule5)) -> rule4) OR ((triple4 ((triple4) -> rule5)) -> rule8))]
("Anne" "is" "smart" "+")
triple6
((triple1) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple5) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple4 triple1) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple4 ((triple4) -> (rule5 % int2))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Gary is not furry.
False
1
inv-proof
[(triple10)]
("Gary" "is" "furry" "-")
triple10
Harry is young.
True
3
proof
[(((triple14 triple13) -> rule2) OR ((triple15 triple16) -> rule6) OR ((triple15 ((triple15) -> rule1)) -> rule6) OR ((triple15 ((((triple14) -> rule5)) -> rule4)) -> rule6) OR ((triple15 ((triple14 ((triple14) -> rule5)) -> rule8)) -> rule6))]
("Harry" "is" "young" "+")
((triple14 triple13) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple15 triple16) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple15 ((triple15) -> (rule1 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((triple15 ((((triple14) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple15 ((triple14 ((triple14) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Gary is not smart.
False
2
inv-proof
[(((triple9) -> rule4))]
("Gary" "is" "smart" "-")
((triple9) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Erin is young.
True
4
proof
[(((triple8 ((triple8) -> rule1)) -> rule6))]
("Erin" "is" "young" "+")
((triple8 ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is not young.
False
4
inv-proof
[(((triple8 ((triple8) -> rule1)) -> rule6))]
("Erin" "is" "young" "-")
((triple8 ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
True
7
proof
[(((((triple8 ((triple8) -> rule1)) -> rule6) ((triple8) -> rule1)) -> rule7))]
("Erin" "is" "rough" "+")
((((triple8 ((triple8) -> (rule1 % int3))) -> (rule6 % int2)) ((triple8) -> (rule1 % int3))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is not rough.
False
7
inv-proof
[(((((triple8 ((triple8) -> rule1)) -> rule6) ((triple8) -> rule1)) -> rule7))]
("Erin" "is" "rough" "-")
((((triple8 ((triple8) -> (rule1 % int3))) -> (rule6 % int2)) ((triple8) -> (rule1 % int3))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
True
8
proof
[(((((((triple8 ((triple8) -> rule1)) -> rule6) ((triple8) -> rule1)) -> rule7)) -> rule5))]
("Erin" "is" "cold" "+")
((((((triple8 ((triple8) -> (rule1 % int4))) -> (rule6 % int3)) ((triple8) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is not cold.
False
8
inv-proof
[(((((((triple8 ((triple8) -> rule1)) -> rule6) ((triple8) -> rule1)) -> rule7)) -> rule5))]
("Erin" "is" "cold" "-")
((((((triple8 ((triple8) -> (rule1 % int4))) -> (rule6 % int3)) ((triple8) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
True
13
proof
[(((((triple8 ((triple8) -> rule1)) -> rule6) ((((((triple8 ((triple8) -> rule1)) -> rule6) ((triple8) -> rule1)) -> rule7)) -> rule5)) -> rule3))]
("Erin" "is" "furry" "+")
((((triple8 ((triple8) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple8 ((triple8) -> (rule1 % int5))) -> (rule6 % int4)) ((triple8) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is not furry.
False
13
inv-proof
[(((((triple8 ((triple8) -> rule1)) -> rule6) ((((((triple8 ((triple8) -> rule1)) -> rule6) ((triple8) -> rule1)) -> rule7)) -> rule5)) -> rule3))]
("Erin" "is" "furry" "-")
((((triple8 ((triple8) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple8 ((triple8) -> (rule1 % int5))) -> (rule6 % int4)) ((triple8) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Anne is cold.[(triple1 OR ((triple4) -> rule5))] Anne is furry.[(triple2 OR ((triple7 triple1) -> rule3) OR ((triple7 ((triple4) -> rule5)) -> rule3) OR ((((triple4 triple3) -> rule2) triple1) -> rule3) OR ((((triple5 triple6) -> rule6) triple1) -> rule3) OR ((((triple4 triple3) -> rule2) ((triple4) -> rule5)) -> rule3) OR ((((triple5 triple6) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule6) triple1) -> rule3) OR ((((triple5 ((triple5) -> rule1)) -> rule6) triple1) -> rule3) OR ((((triple5 ((triple4 triple1) -> rule8)) -> rule6) triple1) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((triple5 ((triple5) -> rule1)) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((triple5 ((triple4 triple1) -> rule8)) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((triple5 ((((triple4) -> rule5)) -> rule4)) -> rule6) triple1) -> rule3) OR ((((triple5 ((triple4 ((triple4) -> rule5)) -> rule8)) -> rule6) triple1) -> rule3) OR ((((triple5 ((((triple4) -> rule5)) -> rule4)) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((triple5 ((triple4 ((triple4) -> rule5)) -> rule8)) -> rule6) ((triple4) -> rule5)) -> rule3))] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple1) -> rule4) OR ((triple5) -> rule1) OR ((triple4 triple1) -> rule8) OR ((((triple4) -> rule5)) -> rule4) OR ((triple4 ((triple4) -> rule5)) -> rule8))] Anne is young.[(triple7 OR ((triple4 triple3) -> rule2) OR ((triple5 triple6) -> rule6) OR ((triple5 ((triple1) -> rule4)) -> rule6) OR ((triple5 ((triple5) -> rule1)) -> rule6) OR ((triple5 ((triple4 triple1) -> rule8)) -> rule6) OR ((triple5 ((((triple4) -> rule5)) -> rule4)) -> rule6) OR ((triple5 ((triple4 ((triple4) -> rule5)) -> rule8)) -> rule6))] Erin is round.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is quiet.[(triple11)] Harry is furry.[(triple12 OR ((((triple14 triple13) -> rule2) ((triple14) -> rule5)) -> rule3) OR ((((triple15 triple16) -> rule6) ((triple14) -> rule5)) -> rule3) OR ((((triple15 ((triple15) -> rule1)) -> rule6) ((triple14) -> rule5)) -> rule3) OR ((((triple15 ((((triple14) -> rule5)) -> rule4)) -> rule6) ((triple14) -> rule5)) -> rule3) OR ((((triple15 ((triple14 ((triple14) -> rule5)) -> rule8)) -> rule6) ((triple14) -> rule5)) -> rule3))] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)] Harry is smart.[(triple16 OR ((triple15) -> rule1) OR ((((triple14) -> rule5)) -> rule4) OR ((triple14 ((triple14) -> rule5)) -> rule8))] @1: Erin is smart.[(((triple8) -> rule1))] Gary is smart.[(((triple9) -> rule4))] Harry is cold.[(((triple14) -> rule5))] Harry is young.[(((triple14 triple13) -> rule2) OR ((triple15 triple16) -> rule6) OR ((triple15 ((triple15) -> rule1)) -> rule6) OR ((triple15 ((((triple14) -> rule5)) -> rule4)) -> rule6) OR ((triple15 ((triple14 ((triple14) -> rule5)) -> rule8)) -> rule6))] @2: Erin is young.[(((triple8 ((triple8) -> rule1)) -> rule6))] @3: Erin is rough.[(((((triple8 ((triple8) -> rule1)) -> rule6) ((triple8) -> rule1)) -> rule7))] @4: Erin is cold.[(((((((triple8 ((triple8) -> rule1)) -> rule6) ((triple8) -> rule1)) -> rule7)) -> rule5))] @5: Erin is furry.[(((((triple8 ((triple8) -> rule1)) -> rule6) ((((((triple8 ((triple8) -> rule1)) -> rule6) ((triple8) -> rule1)) -> rule7)) -> rule5)) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple4) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple7 triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple7 ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple4 triple3) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple5 triple6) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple4 triple3) -> (rule2 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((triple5 triple6) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((triple5 ((triple1) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((triple5 ((triple5) -> (rule1 % int3))) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((triple5 ((triple4 triple1) -> (rule8 % int3))) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((triple5 ((triple1) -> (rule4 % int4))) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((triple5 ((triple5) -> (rule1 % int4))) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((triple5 ((triple4 triple1) -> (rule8 % int4))) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((triple5 ((((triple4) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple5 ((triple4 ((triple4) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple5 ((((triple4) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple4) -> (rule5 % int4))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple5 ((triple4 ((triple4) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple4) -> (rule5 % int4))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
((triple1) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple5) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple4 triple1) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple4 ((triple4) -> (rule5 % int2))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
triple7
((triple4 triple3) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple5 triple6) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple5 ((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((triple5 ((triple5) -> (rule1 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((triple5 ((triple4 triple1) -> (rule8 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((triple5 ((((triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((triple5 ((triple4 ((triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
((((triple14 triple13) -> (rule2 % int3)) ((triple14) -> (rule5 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple15 triple16) -> (rule6 % int3)) ((triple14) -> (rule5 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple15 ((triple15) -> (rule1 % int4))) -> (rule6 % int3)) ((triple14) -> (rule5 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple15 ((((triple14) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple14) -> (rule5 % int4))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple15 ((triple14 ((triple14) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple14) -> (rule5 % int4))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
((triple15) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple14) -> (rule5 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((triple14 ((triple14) -> (rule5 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((triple8) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple9) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple14) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple14 triple13) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple15 triple16) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple15 ((triple15) -> (rule1 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((triple15 ((((triple14) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple15 ((triple14 ((triple14) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
((triple8 ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((((triple8 ((triple8) -> (rule1 % int3))) -> (rule6 % int2)) ((triple8) -> (rule1 % int3))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
((((((triple8 ((triple8) -> (rule1 % int4))) -> (rule6 % int3)) ((triple8) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
((((triple8 ((triple8) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple8 ((triple8) -> (rule1 % int5))) -> (rule6 % int4)) ((triple8) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5