Bob is kind. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is red. Gary is kind. Gary is quiet. Gary is red. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is white. All kind, green people are red. Green, quiet people are kind. If someone is quiet then they are white. Kind people are furry. If someone is furry then they are green. If someone is red and kind then they are quiet.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
All kind, green people are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Green, quiet people are kind.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If someone is quiet then they are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Kind people are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry then they are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is red and kind then they are quiet.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
Dave is red.
True
1
proof
[(triple6 OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple2) -> rule5)) -> rule1) OR ((((triple3 triple5) -> rule2) triple3) -> rule1) OR ((((triple3 triple5) -> rule2) ((triple2) -> rule5)) -> rule1) OR ((triple4 ((((triple4) -> rule4)) -> rule5)) -> rule1) OR ((((((triple2) -> rule5) triple5) -> rule2) triple3) -> rule1) OR ((((triple3 triple5) -> rule2) ((((triple4) -> rule4)) -> rule5)) -> rule1) OR ((((((triple2) -> rule5) triple5) -> rule2) ((triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule5) triple5) -> rule2) ((((triple4) -> rule4)) -> rule5)) -> rule1))]
("Dave" "is" "red" "+")
triple6
((triple4 triple3) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple4 ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple3 triple5) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple3 triple5) -> (rule2 % int3)) ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple4 ((((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple2) -> (rule5 % int3)) triple5) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3 triple5) -> (rule2 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple2) -> (rule5 % int3)) triple5) -> (rule2 % int2)) ((triple2) -> (rule5 % int3))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple2) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((((triple4) -> (rule4 % int2))) -> (rule5 % int4))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Harry is not furry.
False
1
inv-proof
[(triple10 OR ((triple11) -> rule4))]
("Harry" "is" "furry" "-")
triple10
((triple11) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
True
2
proof
[(((triple10) -> rule5) OR ((((triple11) -> rule4)) -> rule5))]
("Harry" "is" "green" "+")
((triple10) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is not green.
False
2
inv-proof
[(((triple10) -> rule5) OR ((((triple11) -> rule4)) -> rule5))]
("Harry" "is" "green" "-")
((triple10) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Gary is green.
True
3
proof
[(((((triple7) -> rule4)) -> rule5))]
("Gary" "is" "green" "+")
((((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Bob is not green.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule5))]
("Bob" "is" "green" "-")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
True
5
proof
[(((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1))]
("Bob" "is" "red" "+")
((triple1 ((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is not red.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1))]
("Bob" "is" "red" "-")
((triple1 ((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
True
7
proof
[(((((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1) triple1) -> rule6))]
("Bob" "is" "quiet" "+")
((((triple1 ((((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is not quiet.
False
7
inv-proof
[(((((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1) triple1) -> rule6))]
("Bob" "is" "quiet" "-")
((((triple1 ((((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is white.
True
8
proof
[(((((((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule3))]
("Bob" "is" "white" "+")
((((((triple1 ((((triple1) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is not white.
False
8
inv-proof
[(((((((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule3))]
("Bob" "is" "white" "-")
((((((triple1 ((((triple1) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is kind.[(triple1)] Dave is furry.[(triple2 OR ((triple4) -> rule4) OR ((((triple3 triple5) -> rule2)) -> rule4))] Dave is green.[(triple3 OR ((triple2) -> rule5) OR ((((triple4) -> rule4)) -> rule5))] Dave is kind.[(triple4 OR ((triple3 triple5) -> rule2) OR ((((triple2) -> rule5) triple5) -> rule2))] Dave is quiet.[(triple5 OR ((triple6 triple4) -> rule6) OR ((((triple4 triple3) -> rule1) triple4) -> rule6) OR ((((triple4 ((triple2) -> rule5)) -> rule1) triple4) -> rule6) OR ((((triple4 ((((triple4) -> rule4)) -> rule5)) -> rule1) triple4) -> rule6))] Dave is red.[(triple6 OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple2) -> rule5)) -> rule1) OR ((((triple3 triple5) -> rule2) triple3) -> rule1) OR ((((triple3 triple5) -> rule2) ((triple2) -> rule5)) -> rule1) OR ((triple4 ((((triple4) -> rule4)) -> rule5)) -> rule1) OR ((((((triple2) -> rule5) triple5) -> rule2) triple3) -> rule1) OR ((((triple3 triple5) -> rule2) ((((triple4) -> rule4)) -> rule5)) -> rule1) OR ((((((triple2) -> rule5) triple5) -> rule2) ((triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule5) triple5) -> rule2) ((((triple4) -> rule4)) -> rule5)) -> rule1))] Gary is kind.[(triple7)] Gary is quiet.[(triple8 OR ((triple9 triple7) -> rule6) OR ((((triple7 ((((triple7) -> rule4)) -> rule5)) -> rule1) triple7) -> rule6))] Gary is red.[(triple9 OR ((triple7 ((((triple7) -> rule4)) -> rule5)) -> rule1))] Harry is furry.[(triple10 OR ((triple11) -> rule4))] Harry is kind.[(triple11 OR ((((triple10) -> rule5) triple12) -> rule2))] Harry is quiet.[(triple12 OR ((triple13 triple11) -> rule6) OR ((((triple11 ((triple10) -> rule5)) -> rule1) triple11) -> rule6) OR ((((triple11 ((((triple11) -> rule4)) -> rule5)) -> rule1) triple11) -> rule6))] Harry is red.[(triple13 OR ((triple11 ((triple10) -> rule5)) -> rule1) OR ((triple11 ((((triple11) -> rule4)) -> rule5)) -> rule1) OR ((((((triple10) -> rule5) triple12) -> rule2) ((triple10) -> rule5)) -> rule1) OR ((((((triple10) -> rule5) triple12) -> rule2) ((((triple11) -> rule4)) -> rule5)) -> rule1))] Harry is white.[(triple14 OR ((triple12) -> rule3) OR ((((triple13 triple11) -> rule6)) -> rule3) OR ((((((triple11 ((triple10) -> rule5)) -> rule1) triple11) -> rule6)) -> rule3) OR ((((((triple11 ((((triple11) -> rule4)) -> rule5)) -> rule1) triple11) -> rule6)) -> rule3))] @1: Bob is furry.[(((triple1) -> rule4))] Dave is white.[(((triple5) -> rule3) OR ((((triple6 triple4) -> rule6)) -> rule3) OR ((((((triple4 triple3) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((triple4 ((triple2) -> rule5)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((triple4 ((((triple4) -> rule4)) -> rule5)) -> rule1) triple4) -> rule6)) -> rule3))] Gary is furry.[(((triple7) -> rule4))] Gary is white.[(((triple8) -> rule3) OR ((((triple9 triple7) -> rule6)) -> rule3) OR ((((((triple7 ((((triple7) -> rule4)) -> rule5)) -> rule1) triple7) -> rule6)) -> rule3))] Harry is green.[(((triple10) -> rule5) OR ((((triple11) -> rule4)) -> rule5))] @2: Bob is green.[(((((triple1) -> rule4)) -> rule5))] Gary is green.[(((((triple7) -> rule4)) -> rule5))] @3: Bob is red.[(((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1))] @4: Bob is quiet.[(((((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1) triple1) -> rule6))] @5: Bob is white.[(((((((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule3))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
((triple4) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple3 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
triple3
((triple2) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
triple4
((triple3 triple5) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple2) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
((triple6 triple4) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple4 triple3) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple4 ((triple2) -> (rule5 % int3))) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple4 ((((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
triple6
((triple4 triple3) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple4 ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple3 triple5) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple3 triple5) -> (rule2 % int3)) ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple4 ((((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple2) -> (rule5 % int3)) triple5) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3 triple5) -> (rule2 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple2) -> (rule5 % int3)) triple5) -> (rule2 % int2)) ((triple2) -> (rule5 % int3))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple2) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((((triple4) -> (rule4 % int2))) -> (rule5 % int4))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
((triple9 triple7) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple7 ((((triple7) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
triple9
((triple7 ((((triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
triple10
((triple11) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple11
((((triple10) -> (rule5 % int2)) triple12) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
((triple13 triple11) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple11 ((triple10) -> (rule5 % int3))) -> (rule1 % int2)) triple11) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple11 ((((triple11) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple11) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
triple13
((triple11 ((triple10) -> (rule5 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((triple11 ((((triple11) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple10) -> (rule5 % int3)) triple12) -> (rule2 % int2)) ((triple10) -> (rule5 % int3))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple10) -> (rule5 % int4)) triple12) -> (rule2 % int3)) ((((triple11) -> (rule4 % int2))) -> (rule5 % int4))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
triple14
((triple12) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple13 triple11) -> (rule6 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((((triple11 ((triple10) -> (rule5 % int4))) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple11 ((((triple11) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
((triple1) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple5) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple6 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((triple4 triple3) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple4 ((triple2) -> (rule5 % int4))) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple4 ((((triple4) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
((triple7) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple8) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple9 triple7) -> (rule6 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple7 ((((triple7) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
((triple10) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((triple1 ((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple1 ((((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
((((((triple1 ((((triple1) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5