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