Anne is big. Anne is red. Anne is round. Anne is smart. Anne is young. Dave is big. Dave is green. Dave is red. Gary is big. Gary is cold. Gary is green. Gary is red. Gary is round. Gary is smart. Gary is young. If someone is cold then they are red. Smart, round people are cold. Round, red people are young. If someone is red and smart then they are big. Green people are big. If Gary is green and Gary is cold then Gary is round. If someone is cold and red then they are round. All young, big people are smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Smart, round people are cold.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Round, red people are young.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is red and smart then they are big.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If Gary is green and Gary is cold then Gary is round.
((("Gary" "is" "green" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "round" "+"))
If someone is cold and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
All young, big people are smart.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
Dave is big.
True
1
proof
[(triple6 OR ((triple7) -> rule5))]
("Dave" "is" "big" "+")
triple6
((triple7) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Gary is not smart.
False
1
inv-proof
[(triple14 OR ((triple15 triple9) -> rule8) OR ((triple15 ((triple11) -> rule5)) -> rule8) OR ((((triple13 triple12) -> rule3) triple9) -> rule8) OR ((((triple13 triple12) -> rule3) ((triple11) -> rule5)) -> rule8) OR ((((triple13 ((triple10) -> rule1)) -> rule3) triple9) -> rule8) OR ((((((triple10 triple12) -> rule7) triple12) -> rule3) triple9) -> rule8) OR ((((((triple11 triple10) -> rule6) triple12) -> rule3) triple9) -> rule8) OR ((((triple13 ((triple10) -> rule1)) -> rule3) ((triple11) -> rule5)) -> rule8) OR ((((((triple10 triple12) -> rule7) triple12) -> rule3) ((triple11) -> rule5)) -> rule8) OR ((((((triple10 triple12) -> rule7) ((triple10) -> rule1)) -> rule3) triple9) -> rule8) OR ((((((triple11 triple10) -> rule6) triple12) -> rule3) ((triple11) -> rule5)) -> rule8) OR ((((((triple11 triple10) -> rule6) ((triple10) -> rule1)) -> rule3) triple9) -> rule8) OR ((((((triple10 triple12) -> rule7) ((triple10) -> rule1)) -> rule3) ((triple11) -> rule5)) -> rule8) OR ((((((triple11 triple10) -> rule6) ((triple10) -> rule1)) -> rule3) ((triple11) -> rule5)) -> rule8) OR ((((((triple10 ((triple10) -> rule1)) -> rule7) triple12) -> rule3) triple9) -> rule8) OR ((((((triple10 ((triple10) -> rule1)) -> rule7) triple12) -> rule3) ((triple11) -> rule5)) -> rule8) OR ((((((triple10 ((triple10) -> rule1)) -> rule7) ((triple10) -> rule1)) -> rule3) triple9) -> rule8) OR ((((((triple10 ((triple10) -> rule1)) -> rule7) ((triple10) -> rule1)) -> rule3) ((triple11) -> rule5)) -> rule8))]
("Gary" "is" "smart" "-")
triple14
((triple15 triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple15 ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple13 triple12) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple13 triple12) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple13 ((triple10) -> (rule1 % int3))) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple10 triple12) -> (rule7 % int3)) triple12) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple11 triple10) -> (rule6 % int3)) triple12) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple13 ((triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple10 triple12) -> (rule7 % int4)) triple12) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple10 triple12) -> (rule7 % int4)) ((triple10) -> (rule1 % int3))) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple11 triple10) -> (rule6 % int4)) triple12) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple11 triple10) -> (rule6 % int4)) ((triple10) -> (rule1 % int3))) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple10 triple12) -> (rule7 % int5)) ((triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple11 triple10) -> (rule6 % int5)) ((triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple10 ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) triple12) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple10 ((triple10) -> (rule1 % int5))) -> (rule7 % int4)) triple12) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple10 ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) ((triple10) -> (rule1 % int4))) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple10 ((triple10) -> (rule1 % int5))) -> (rule7 % int4)) ((triple10) -> (rule1 % int5))) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Anne is cold.
True
3
proof
[(((triple4 triple3) -> rule2) OR ((((triple5 triple1) -> rule8) triple3) -> rule2) OR ((((((triple3 triple2) -> rule3) triple1) -> rule8) triple3) -> rule2))]
("Anne" "is" "cold" "+")
((triple4 triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple5 triple1) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple3 triple2) -> (rule3 % int3)) triple1) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is not cold.
False
3
inv-proof
[(((triple4 triple3) -> rule2) OR ((((triple5 triple1) -> rule8) triple3) -> rule2) OR ((((((triple3 triple2) -> rule3) triple1) -> rule8) triple3) -> rule2))]
("Anne" "is" "cold" "-")
((triple4 triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple5 triple1) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple3 triple2) -> (rule3 % int3)) triple1) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Dave is not smart.
Unknown
inv-rconc
[@4: Dave is smart.[CWA. Example of deepest failure = (rule8 <- rule3 <- rule7 <- rule2 <- FAIL)]]
("Dave" "is" "smart" "-")
Dave is cold.
Unknown
rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is big.[(triple1 OR ((triple2 triple4) -> rule4) OR ((((((triple4 triple3) -> rule2)) -> rule1) triple4) -> rule4))] Anne is red.[(triple2 OR ((((triple4 triple3) -> rule2)) -> rule1) OR ((((((triple5 triple1) -> rule8) triple3) -> rule2)) -> rule1))] Anne is round.[(triple3)] Anne is smart.[(triple4 OR ((triple5 triple1) -> rule8) OR ((((triple3 triple2) -> rule3) triple1) -> rule8))] Anne is young.[(triple5 OR ((triple3 triple2) -> rule3) OR ((triple3 ((((triple4 triple3) -> rule2)) -> rule1)) -> rule3))] Dave is big.[(triple6 OR ((triple7) -> rule5))] Dave is green.[(triple7)] Dave is red.[(triple8)] Gary is big.[(triple9 OR ((triple11) -> rule5) OR ((triple12 triple14) -> rule4) OR ((((triple10) -> rule1) triple14) -> rule4) OR ((((((triple14 triple13) -> rule2)) -> rule1) triple14) -> rule4))] Gary is cold.[(triple10 OR ((triple14 triple13) -> rule2) OR ((((triple15 triple9) -> rule8) triple13) -> rule2) OR ((((triple15 ((triple11) -> rule5)) -> rule8) triple13) -> rule2) OR ((((((triple13 triple12) -> rule3) triple9) -> rule8) triple13) -> rule2) OR ((((((triple13 triple12) -> rule3) ((triple11) -> rule5)) -> rule8) triple13) -> rule2))] Gary is green.[(triple11)] Gary is red.[(triple12 OR ((triple10) -> rule1) OR ((((triple14 triple13) -> rule2)) -> rule1) OR ((((((triple15 triple9) -> rule8) triple13) -> rule2)) -> rule1) OR ((((((triple15 ((triple11) -> rule5)) -> rule8) triple13) -> rule2)) -> rule1))] Gary is round.[(triple13 OR ((triple10 triple12) -> rule7) OR ((triple11 triple10) -> rule6) OR ((triple10 ((triple10) -> rule1)) -> rule7))] Gary is smart.[(triple14 OR ((triple15 triple9) -> rule8) OR ((triple15 ((triple11) -> rule5)) -> rule8) OR ((((triple13 triple12) -> rule3) triple9) -> rule8) OR ((((triple13 triple12) -> rule3) ((triple11) -> rule5)) -> rule8) OR ((((triple13 ((triple10) -> rule1)) -> rule3) triple9) -> rule8) OR ((((((triple10 triple12) -> rule7) triple12) -> rule3) triple9) -> rule8) OR ((((((triple11 triple10) -> rule6) triple12) -> rule3) triple9) -> rule8) OR ((((triple13 ((triple10) -> rule1)) -> rule3) ((triple11) -> rule5)) -> rule8) OR ((((((triple10 triple12) -> rule7) triple12) -> rule3) ((triple11) -> rule5)) -> rule8) OR ((((((triple10 triple12) -> rule7) ((triple10) -> rule1)) -> rule3) triple9) -> rule8) OR ((((((triple11 triple10) -> rule6) triple12) -> rule3) ((triple11) -> rule5)) -> rule8) OR ((((((triple11 triple10) -> rule6) ((triple10) -> rule1)) -> rule3) triple9) -> rule8) OR ((((((triple10 triple12) -> rule7) ((triple10) -> rule1)) -> rule3) ((triple11) -> rule5)) -> rule8) OR ((((((triple11 triple10) -> rule6) ((triple10) -> rule1)) -> rule3) ((triple11) -> rule5)) -> rule8) OR ((((((triple10 ((triple10) -> rule1)) -> rule7) triple12) -> rule3) triple9) -> rule8) OR ((((((triple10 ((triple10) -> rule1)) -> rule7) triple12) -> rule3) ((triple11) -> rule5)) -> rule8) OR ((((((triple10 ((triple10) -> rule1)) -> rule7) ((triple10) -> rule1)) -> rule3) triple9) -> rule8) OR ((((((triple10 ((triple10) -> rule1)) -> rule7) ((triple10) -> rule1)) -> rule3) ((triple11) -> rule5)) -> rule8))] Gary is young.[(triple15 OR ((triple13 triple12) -> rule3) OR ((triple13 ((triple10) -> rule1)) -> rule3) OR ((((triple10 triple12) -> rule7) triple12) -> rule3) OR ((((triple11 triple10) -> rule6) triple12) -> rule3) OR ((((triple10 triple12) -> rule7) ((triple10) -> rule1)) -> rule3) OR ((((triple11 triple10) -> rule6) ((triple10) -> rule1)) -> rule3) OR ((triple13 ((((triple14 triple13) -> rule2)) -> rule1)) -> rule3) OR ((((triple10 ((triple10) -> rule1)) -> rule7) triple12) -> rule3) OR ((((triple10 triple12) -> rule7) ((((triple14 triple13) -> rule2)) -> rule1)) -> rule3) OR ((((triple10 ((triple10) -> rule1)) -> rule7) ((triple10) -> rule1)) -> rule3) OR ((((triple11 triple10) -> rule6) ((((triple14 triple13) -> rule2)) -> rule1)) -> rule3) OR ((((triple10 ((triple10) -> rule1)) -> rule7) ((((triple14 triple13) -> rule2)) -> rule1)) -> rule3))] @1: Anne is cold.[(((triple4 triple3) -> rule2) OR ((((triple5 triple1) -> rule8) triple3) -> rule2) OR ((((((triple3 triple2) -> rule3) triple1) -> rule8) triple3) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple2 triple4) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((((triple4 triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
triple2
((((triple4 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple5 triple1) -> (rule8 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
((triple5 triple1) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple3 triple2) -> (rule3 % int2)) triple1) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
triple5
((triple3 triple2) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple3 ((((triple4 triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
triple6
((triple7) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
((triple11) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple12 triple14) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple10) -> (rule1 % int2)) triple14) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((((triple14 triple13) -> (rule2 % int3))) -> (rule1 % int2)) triple14) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
triple10
((triple14 triple13) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple15 triple9) -> (rule8 % int2)) triple13) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple15 ((triple11) -> (rule5 % int3))) -> (rule8 % int2)) triple13) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple13 triple12) -> (rule3 % int3)) triple9) -> (rule8 % int2)) triple13) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple13 triple12) -> (rule3 % int4)) ((triple11) -> (rule5 % int3))) -> (rule8 % int2)) triple13) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
((triple10) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple14 triple13) -> (rule2 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((triple15 triple9) -> (rule8 % int3)) triple13) -> (rule2 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple15 ((triple11) -> (rule5 % int4))) -> (rule8 % int3)) triple13) -> (rule2 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
triple13
((triple10 triple12) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple11 triple10) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple10 ((triple10) -> (rule1 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple14
((triple15 triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple15 ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple13 triple12) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple13 triple12) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple13 ((triple10) -> (rule1 % int3))) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple10 triple12) -> (rule7 % int3)) triple12) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple11 triple10) -> (rule6 % int3)) triple12) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple13 ((triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple10 triple12) -> (rule7 % int4)) triple12) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple10 triple12) -> (rule7 % int4)) ((triple10) -> (rule1 % int3))) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple11 triple10) -> (rule6 % int4)) triple12) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple11 triple10) -> (rule6 % int4)) ((triple10) -> (rule1 % int3))) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple10 triple12) -> (rule7 % int5)) ((triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple11 triple10) -> (rule6 % int5)) ((triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple10 ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) triple12) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple10 ((triple10) -> (rule1 % int5))) -> (rule7 % int4)) triple12) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple10 ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) ((triple10) -> (rule1 % int4))) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple10 ((triple10) -> (rule1 % int5))) -> (rule7 % int4)) ((triple10) -> (rule1 % int5))) -> (rule3 % int3)) ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
triple15
((triple13 triple12) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple13 ((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple10 triple12) -> (rule7 % int2)) triple12) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple11 triple10) -> (rule6 % int2)) triple12) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple10 triple12) -> (rule7 % int3)) ((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple11 triple10) -> (rule6 % int3)) ((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple13 ((((triple14 triple13) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple10 ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) triple12) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple10 triple12) -> (rule7 % int4)) ((((triple14 triple13) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple10 ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) ((triple10) -> (rule1 % int3))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple11 triple10) -> (rule6 % int4)) ((((triple14 triple13) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple10 ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple14 triple13) -> (rule2 % int2))) -> (rule1 % int4))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
((triple4 triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple5 triple1) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple3 triple2) -> (rule3 % int3)) triple1) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3