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