Anne is cold. Anne is kind. Anne is smart. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is smart. Gary is young. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is young. Quiet, kind people are furry. If someone is nice and furry then they are kind. All furry people are kind. All furry, cold people are quiet. All furry, quiet people are smart. If someone is smart then they are young. If someone is kind then they are smart. If someone is cold then they are quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is young.
("Harry" "is" "young" "+")
Quiet, kind people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If someone is nice and furry then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
All furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
All furry, cold people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
All furry, quiet people are smart.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
If someone is smart then they are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If someone is kind then they are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
If someone is cold then they are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Gary is cold.
True
1
proof
[(triple4)]
("Gary" "is" "cold" "+")
triple4
Gary is not smart.
False
1
inv-proof
[(triple8 OR ((triple6) -> rule7) OR ((triple5 triple7) -> rule5) OR ((((triple5) -> rule3)) -> rule7) OR ((triple5 ((triple4) -> rule8)) -> rule5) OR ((triple5 ((triple5 triple4) -> rule4)) -> rule5) OR ((((triple7 triple6) -> rule1) triple7) -> rule5) OR ((((triple7 triple6) -> rule1) ((triple4) -> rule8)) -> rule5) OR ((((triple7 triple6) -> rule1) ((triple5 triple4) -> rule4)) -> rule5) OR ((((((triple4) -> rule8) triple6) -> rule1) triple7) -> rule5) OR ((((((triple4) -> rule8) triple6) -> rule1) ((triple4) -> rule8)) -> rule5) OR ((((((triple4) -> rule8) triple6) -> rule1) ((triple5 triple4) -> rule4)) -> rule5))]
("Gary" "is" "smart" "-")
triple8
((triple6) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple5 triple7) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((triple5 ((triple4) -> (rule8 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((triple5 ((triple5 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple7 triple6) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple7 triple6) -> (rule1 % int3)) ((triple4) -> (rule8 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple7 triple6) -> (rule1 % int3)) ((triple5 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple4) -> (rule8 % int3)) triple6) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple4) -> (rule8 % int3)) triple6) -> (rule1 % int2)) ((triple4) -> (rule8 % int3))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple4) -> (rule8 % int3)) triple6) -> (rule1 % int2)) ((triple5 triple4) -> (rule4 % int3))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Harry is smart.
True
2
proof
[(((triple12) -> rule7) OR ((triple11 triple14) -> rule5) OR ((((triple11) -> rule3)) -> rule7) OR ((((triple13 triple11) -> rule2)) -> rule7) OR ((triple11 ((triple10) -> rule8)) -> rule5) OR ((triple11 ((triple11 triple10) -> rule4)) -> rule5) OR ((((triple14 triple12) -> rule1) triple14) -> rule5) OR ((((triple14 triple12) -> rule1) ((triple10) -> rule8)) -> rule5) OR ((((triple14 triple12) -> rule1) ((triple11 triple10) -> rule4)) -> rule5) OR ((((((triple10) -> rule8) triple12) -> rule1) triple14) -> rule5) OR ((((((triple10) -> rule8) triple12) -> rule1) ((triple10) -> rule8)) -> rule5) OR ((((((triple10) -> rule8) triple12) -> rule1) ((triple11 triple10) -> rule4)) -> rule5))]
("Harry" "is" "smart" "+")
((triple12) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple11 triple14) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple11) -> (rule3 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple13 triple11) -> (rule2 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((triple11 ((triple10) -> (rule8 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((triple11 ((triple11 triple10) -> (rule4 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple14 triple12) -> (rule1 % int2)) triple14) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple14 triple12) -> (rule1 % int3)) ((triple10) -> (rule8 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple14 triple12) -> (rule1 % int3)) ((triple11 triple10) -> (rule4 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple10) -> (rule8 % int3)) triple12) -> (rule1 % int2)) triple14) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple10) -> (rule8 % int3)) triple12) -> (rule1 % int2)) ((triple10) -> (rule8 % int3))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple10) -> (rule8 % int3)) triple12) -> (rule1 % int2)) ((triple11 triple10) -> (rule4 % int3))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Anne is not young.
False
2
inv-proof
[(((triple3) -> rule6) OR ((((triple2) -> rule7)) -> rule6) OR ((((((((triple1) -> rule8) triple2) -> rule1) ((triple1) -> rule8)) -> rule5)) -> rule6))]
("Anne" "is" "young" "-")
((triple3) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((((triple1) -> (rule8 % int4)) triple2) -> (rule1 % int3)) ((triple1) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is furry.
True
4
proof
[(((((triple1) -> rule8) triple2) -> rule1))]
("Anne" "is" "furry" "+")
((((triple1) -> (rule8 % int2)) triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is not furry.
False
4
inv-proof
[(((((triple1) -> rule8) triple2) -> rule1))]
("Anne" "is" "furry" "-")
((((triple1) -> (rule8 % int2)) triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3 OR ((triple2) -> rule7) OR ((((((triple1) -> rule8) triple2) -> rule1) ((triple1) -> rule8)) -> rule5))] Gary is cold.[(triple4)] Gary is furry.[(triple5 OR ((triple7 triple6) -> rule1) OR ((((triple4) -> rule8) triple6) -> rule1))] Gary is kind.[(triple6 OR ((triple5) -> rule3))] Gary is quiet.[(triple7 OR ((triple4) -> rule8) OR ((triple5 triple4) -> rule4))] Gary is smart.[(triple8 OR ((triple6) -> rule7) OR ((triple5 triple7) -> rule5) OR ((((triple5) -> rule3)) -> rule7) OR ((triple5 ((triple4) -> rule8)) -> rule5) OR ((triple5 ((triple5 triple4) -> rule4)) -> rule5) OR ((((triple7 triple6) -> rule1) triple7) -> rule5) OR ((((triple7 triple6) -> rule1) ((triple4) -> rule8)) -> rule5) OR ((((triple7 triple6) -> rule1) ((triple5 triple4) -> rule4)) -> rule5) OR ((((((triple4) -> rule8) triple6) -> rule1) triple7) -> rule5) OR ((((((triple4) -> rule8) triple6) -> rule1) ((triple4) -> rule8)) -> rule5) OR ((((((triple4) -> rule8) triple6) -> rule1) ((triple5 triple4) -> rule4)) -> rule5))] Gary is young.[(triple9 OR ((triple8) -> rule6) OR ((((triple6) -> rule7)) -> rule6) OR ((((triple5 triple7) -> rule5)) -> rule6) OR ((((((triple5) -> rule3)) -> rule7)) -> rule6) OR ((((triple5 ((triple4) -> rule8)) -> rule5)) -> rule6) OR ((((triple5 ((triple5 triple4) -> rule4)) -> rule5)) -> rule6) OR ((((((triple7 triple6) -> rule1) triple7) -> rule5)) -> rule6) OR ((((((triple7 triple6) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule6) OR ((((((triple7 triple6) -> rule1) ((triple5 triple4) -> rule4)) -> rule5)) -> rule6) OR ((((((((triple4) -> rule8) triple6) -> rule1) triple7) -> rule5)) -> rule6) OR ((((((((triple4) -> rule8) triple6) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule6) OR ((((((((triple4) -> rule8) triple6) -> rule1) ((triple5 triple4) -> rule4)) -> rule5)) -> rule6))] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple14 triple12) -> rule1) OR ((((triple10) -> rule8) triple12) -> rule1))] Harry is kind.[(triple12 OR ((triple11) -> rule3) OR ((triple13 triple11) -> rule2))] Harry is nice.[(triple13)] Harry is quiet.[(triple14 OR ((triple10) -> rule8) OR ((triple11 triple10) -> rule4))] Harry is young.[(triple15 OR ((((triple12) -> rule7)) -> rule6) OR ((((triple11 triple14) -> rule5)) -> rule6) OR ((((((triple11) -> rule3)) -> rule7)) -> rule6) OR ((((((triple13 triple11) -> rule2)) -> rule7)) -> rule6) OR ((((triple11 ((triple10) -> rule8)) -> rule5)) -> rule6) OR ((((triple11 ((triple11 triple10) -> rule4)) -> rule5)) -> rule6) OR ((((((triple14 triple12) -> rule1) triple14) -> rule5)) -> rule6) OR ((((((triple14 triple12) -> rule1) ((triple10) -> rule8)) -> rule5)) -> rule6) OR ((((((triple14 triple12) -> rule1) ((triple11 triple10) -> rule4)) -> rule5)) -> rule6) OR ((((((((triple10) -> rule8) triple12) -> rule1) triple14) -> rule5)) -> rule6) OR ((((((((triple10) -> rule8) triple12) -> rule1) ((triple10) -> rule8)) -> rule5)) -> rule6) OR ((((((((triple10) -> rule8) triple12) -> rule1) ((triple11 triple10) -> rule4)) -> rule5)) -> rule6))] @1: Anne is quiet.[(((triple1) -> rule8))] Anne is young.[(((triple3) -> rule6) OR ((((triple2) -> rule7)) -> rule6) OR ((((((((triple1) -> rule8) triple2) -> rule1) ((triple1) -> rule8)) -> rule5)) -> rule6))] Harry is smart.[(((triple12) -> rule7) OR ((triple11 triple14) -> rule5) OR ((((triple11) -> rule3)) -> rule7) OR ((((triple13 triple11) -> rule2)) -> rule7) OR ((triple11 ((triple10) -> rule8)) -> rule5) OR ((triple11 ((triple11 triple10) -> rule4)) -> rule5) OR ((((triple14 triple12) -> rule1) triple14) -> rule5) OR ((((triple14 triple12) -> rule1) ((triple10) -> rule8)) -> rule5) OR ((((triple14 triple12) -> rule1) ((triple11 triple10) -> rule4)) -> rule5) OR ((((((triple10) -> rule8) triple12) -> rule1) triple14) -> rule5) OR ((((((triple10) -> rule8) triple12) -> rule1) ((triple10) -> rule8)) -> rule5) OR ((((((triple10) -> rule8) triple12) -> rule1) ((triple11 triple10) -> rule4)) -> rule5))] @2: Anne is furry.[(((((triple1) -> rule8) triple2) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
((triple2) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((((triple1) -> (rule8 % int3)) triple2) -> (rule1 % int2)) ((triple1) -> (rule8 % int3))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
((triple7 triple6) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple4) -> (rule8 % int2)) triple6) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple6
((triple5) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
((triple4) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple5 triple4) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple8
((triple6) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple5 triple7) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((triple5 ((triple4) -> (rule8 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((triple5 ((triple5 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple7 triple6) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple7 triple6) -> (rule1 % int3)) ((triple4) -> (rule8 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple7 triple6) -> (rule1 % int3)) ((triple5 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple4) -> (rule8 % int3)) triple6) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple4) -> (rule8 % int3)) triple6) -> (rule1 % int2)) ((triple4) -> (rule8 % int3))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple4) -> (rule8 % int3)) triple6) -> (rule1 % int2)) ((triple5 triple4) -> (rule4 % int3))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple9
((triple8) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple5 triple7) -> (rule5 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((((triple5) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((triple5 ((triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple5 ((triple5 triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple7 triple6) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple7 triple6) -> (rule1 % int4)) ((triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple7 triple6) -> (rule1 % int4)) ((triple5 triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple4) -> (rule8 % int4)) triple6) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple4) -> (rule8 % int4)) triple6) -> (rule1 % int3)) ((triple4) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple4) -> (rule8 % int4)) triple6) -> (rule1 % int3)) ((triple5 triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
((triple14 triple12) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple10) -> (rule8 % int2)) triple12) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple12
((triple11) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple13 triple11) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
((triple10) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple11 triple10) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple15
((((triple12) -> (rule7 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple11 triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple11) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple13 triple11) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple11 ((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple11 ((triple11 triple10) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple14 triple12) -> (rule1 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple14 triple12) -> (rule1 % int4)) ((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple14 triple12) -> (rule1 % int4)) ((triple11 triple10) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((((triple10) -> (rule8 % int4)) triple12) -> (rule1 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((((triple10) -> (rule8 % int4)) triple12) -> (rule1 % int3)) ((triple10) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((((triple10) -> (rule8 % int4)) triple12) -> (rule1 % int3)) ((triple11 triple10) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple3) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((((triple1) -> (rule8 % int4)) triple2) -> (rule1 % int3)) ((triple1) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
((triple12) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple11 triple14) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple11) -> (rule3 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple13 triple11) -> (rule2 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((triple11 ((triple10) -> (rule8 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((triple11 ((triple11 triple10) -> (rule4 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple14 triple12) -> (rule1 % int2)) triple14) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple14 triple12) -> (rule1 % int3)) ((triple10) -> (rule8 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple14 triple12) -> (rule1 % int3)) ((triple11 triple10) -> (rule4 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple10) -> (rule8 % int3)) triple12) -> (rule1 % int2)) triple14) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple10) -> (rule8 % int3)) triple12) -> (rule1 % int2)) ((triple10) -> (rule8 % int3))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple10) -> (rule8 % int3)) triple12) -> (rule1 % int2)) ((triple11 triple10) -> (rule4 % int3))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
((((triple1) -> (rule8 % int2)) triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2