Anne is blue. Anne is furry. Anne is rough. Bob is quiet. Bob is rough. Fiona is blue. Fiona is nice. Fiona is quiet. Gary is furry. Gary is nice. Gary is quiet. Gary is white. If someone is white then they are nice. If someone is nice then they are white. If someone is quiet and nice then they are rough. All rough, white people are blue. Quiet people are blue. If someone is furry then they are nice. Quiet, red people are furry. All blue people are red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is white then they are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If someone is quiet and nice then they are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All rough, white people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
If someone is furry then they are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Quiet, red people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
All blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Bob is quiet.
True
1
proof
[(triple4)]
("Bob" "is" "quiet" "+")
triple4
Bob is not quiet.
False
1
inv-proof
[(triple4)]
("Bob" "is" "quiet" "-")
triple4
Fiona is red.
True
2
proof
[(((triple6) -> rule8) OR ((((triple8) -> rule5)) -> rule8) OR ((((((triple8 triple7) -> rule3) ((triple7) -> rule2)) -> rule4)) -> rule8))]
("Fiona" "is" "red" "+")
((triple6) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple8) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple8 triple7) -> (rule3 % int4)) ((triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is not white.
False
2
inv-proof
[(((triple7) -> rule2) OR ((((((triple8 ((triple6) -> rule8)) -> rule7)) -> rule6)) -> rule2) OR ((((((triple8 ((((triple8) -> rule5)) -> rule8)) -> rule7)) -> rule6)) -> rule2))]
("Fiona" "is" "white" "-")
((triple7) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((((triple8 ((triple6) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple8 ((((triple8) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is furry.
True
4
proof
[(((triple8 ((triple6) -> rule8)) -> rule7) OR ((triple8 ((((triple8) -> rule5)) -> rule8)) -> rule7) OR ((triple8 ((((((triple8 triple7) -> rule3) ((triple7) -> rule2)) -> rule4)) -> rule8)) -> rule7))]
("Fiona" "is" "furry" "+")
((triple8 ((triple6) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((triple8 ((((triple8) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((triple8 ((((((triple8 triple7) -> (rule3 % int5)) ((triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Gary is not red.
False
3
inv-proof
[(((((triple11) -> rule5)) -> rule8) OR ((((((triple11 triple10) -> rule3) triple12) -> rule4)) -> rule8) OR ((((((triple11 triple10) -> rule3) ((triple10) -> rule2)) -> rule4)) -> rule8) OR ((((((triple11 ((triple12) -> rule1)) -> rule3) triple12) -> rule4)) -> rule8) OR ((((((triple11 ((triple9) -> rule6)) -> rule3) triple12) -> rule4)) -> rule8) OR ((((((triple11 triple10) -> rule3) ((((triple9) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((((((triple11 ((triple12) -> rule1)) -> rule3) ((triple10) -> rule2)) -> rule4)) -> rule8) OR ((((((triple11 ((triple9) -> rule6)) -> rule3) ((triple10) -> rule2)) -> rule4)) -> rule8) OR ((((((triple11 ((triple12) -> rule1)) -> rule3) ((((triple9) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((((((triple11 ((triple9) -> rule6)) -> rule3) ((((triple9) -> rule6)) -> rule2)) -> rule4)) -> rule8))]
("Gary" "is" "red" "-")
((((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((((triple11 triple10) -> (rule3 % int3)) triple12) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple11 triple10) -> (rule3 % int4)) ((triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple11 ((triple12) -> (rule1 % int4))) -> (rule3 % int3)) triple12) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple11 ((triple9) -> (rule6 % int4))) -> (rule3 % int3)) triple12) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple11 triple10) -> (rule3 % int5)) ((((triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple11 ((triple12) -> (rule1 % int5))) -> (rule3 % int4)) ((triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple11 ((triple9) -> (rule6 % int5))) -> (rule3 % int4)) ((triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple11 ((triple12) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple11 ((triple9) -> (rule6 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Bob is furry.
True
5
proof
[(((triple4 ((((triple4) -> rule5)) -> rule8)) -> rule7))]
("Bob" "is" "furry" "+")
((triple4 ((((triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not furry.
False
5
inv-proof
[(((triple4 ((((triple4) -> rule5)) -> rule8)) -> rule7))]
("Bob" "is" "furry" "-")
((triple4 ((((triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
@0: Anne is blue.[(triple1 OR ((triple3 ((((triple2) -> rule6)) -> rule2)) -> rule4))] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Bob is quiet.[(triple4)] Bob is rough.[(triple5 OR ((triple4 ((((triple4 ((((triple4) -> rule5)) -> rule8)) -> rule7)) -> rule6)) -> rule3))] Fiona is blue.[(triple6 OR ((triple8) -> rule5) OR ((((triple8 triple7) -> rule3) ((triple7) -> rule2)) -> rule4))] Fiona is nice.[(triple7 OR ((((triple8 ((triple6) -> rule8)) -> rule7)) -> rule6) OR ((((triple8 ((((triple8) -> rule5)) -> rule8)) -> rule7)) -> rule6))] Fiona is quiet.[(triple8)] Gary is furry.[(triple9 OR ((triple11 ((((triple11) -> rule5)) -> rule8)) -> rule7) OR ((triple11 ((((((triple11 triple10) -> rule3) triple12) -> rule4)) -> rule8)) -> rule7) OR ((triple11 ((((((triple11 triple10) -> rule3) ((triple10) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((triple11 ((((((triple11 ((triple12) -> rule1)) -> rule3) triple12) -> rule4)) -> rule8)) -> rule7) OR ((triple11 ((((((triple11 ((triple12) -> rule1)) -> rule3) ((triple10) -> rule2)) -> rule4)) -> rule8)) -> rule7))] Gary is nice.[(triple10 OR ((triple12) -> rule1) OR ((triple9) -> rule6) OR ((((triple11 ((((triple11) -> rule5)) -> rule8)) -> rule7)) -> rule6))] Gary is quiet.[(triple11)] Gary is white.[(triple12 OR ((triple10) -> rule2) OR ((((triple9) -> rule6)) -> rule2) OR ((((((triple11 ((((triple11) -> rule5)) -> rule8)) -> rule7)) -> rule6)) -> rule2))] @1: Anne is nice.[(((triple2) -> rule6))] Anne is red.[(((triple1) -> rule8) OR ((((triple3 ((((triple2) -> rule6)) -> rule2)) -> rule4)) -> rule8))] Bob is blue.[(((triple4) -> rule5))] Fiona is red.[(((triple6) -> rule8) OR ((((triple8) -> rule5)) -> rule8) OR ((((((triple8 triple7) -> rule3) ((triple7) -> rule2)) -> rule4)) -> rule8))] Fiona is rough.[(((triple8 triple7) -> rule3) OR ((triple8 ((((triple8 ((triple6) -> rule8)) -> rule7)) -> rule6)) -> rule3) OR ((triple8 ((((triple8 ((((triple8) -> rule5)) -> rule8)) -> rule7)) -> rule6)) -> rule3))] Fiona is white.[(((triple7) -> rule2) OR ((((((triple8 ((triple6) -> rule8)) -> rule7)) -> rule6)) -> rule2) OR ((((((triple8 ((((triple8) -> rule5)) -> rule8)) -> rule7)) -> rule6)) -> rule2))] Gary is blue.[(((triple11) -> rule5) OR ((((triple11 triple10) -> rule3) triple12) -> rule4) OR ((((triple11 triple10) -> rule3) ((triple10) -> rule2)) -> rule4) OR ((((triple11 ((triple12) -> rule1)) -> rule3) triple12) -> rule4) OR ((((triple11 ((triple9) -> rule6)) -> rule3) triple12) -> rule4) OR ((((triple11 triple10) -> rule3) ((((triple9) -> rule6)) -> rule2)) -> rule4) OR ((((triple11 ((triple12) -> rule1)) -> rule3) ((triple10) -> rule2)) -> rule4) OR ((((triple11 ((triple9) -> rule6)) -> rule3) ((triple10) -> rule2)) -> rule4) OR ((((triple11 ((triple12) -> rule1)) -> rule3) ((((triple9) -> rule6)) -> rule2)) -> rule4) OR ((((triple11 ((triple9) -> rule6)) -> rule3) ((((triple9) -> rule6)) -> rule2)) -> rule4))] Gary is rough.[(((triple11 triple10) -> rule3) OR ((triple11 ((triple12) -> rule1)) -> rule3) OR ((triple11 ((triple9) -> rule6)) -> rule3) OR ((triple11 ((((triple11 ((((triple11) -> rule5)) -> rule8)) -> rule7)) -> rule6)) -> rule3))] @2: Anne is white.[(((((triple2) -> rule6)) -> rule2))] Bob is red.[(((((triple4) -> rule5)) -> rule8))] Fiona is furry.[(((triple8 ((triple6) -> rule8)) -> rule7) OR ((triple8 ((((triple8) -> rule5)) -> rule8)) -> rule7) OR ((triple8 ((((((triple8 triple7) -> rule3) ((triple7) -> rule2)) -> rule4)) -> rule8)) -> rule7))] Gary is red.[(((((triple11) -> rule5)) -> rule8) OR ((((((triple11 triple10) -> rule3) triple12) -> rule4)) -> rule8) OR ((((((triple11 triple10) -> rule3) ((triple10) -> rule2)) -> rule4)) -> rule8) OR ((((((triple11 ((triple12) -> rule1)) -> rule3) triple12) -> rule4)) -> rule8) OR ((((((triple11 ((triple9) -> rule6)) -> rule3) triple12) -> rule4)) -> rule8) OR ((((((triple11 triple10) -> rule3) ((((triple9) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((((((triple11 ((triple12) -> rule1)) -> rule3) ((triple10) -> rule2)) -> rule4)) -> rule8) OR ((((((triple11 ((triple9) -> rule6)) -> rule3) ((triple10) -> rule2)) -> rule4)) -> rule8) OR ((((((triple11 ((triple12) -> rule1)) -> rule3) ((((triple9) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((((((triple11 ((triple9) -> rule6)) -> rule3) ((((triple9) -> rule6)) -> rule2)) -> rule4)) -> rule8))] @3: Bob is furry.[(((triple4 ((((triple4) -> rule5)) -> rule8)) -> rule7))] @4: Bob is nice.[(((((triple4 ((((triple4) -> rule5)) -> rule8)) -> rule7)) -> rule6))] @5: Bob is white.[(((((((triple4 ((((triple4) -> rule5)) -> rule8)) -> rule7)) -> rule6)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple3 ((((triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
((triple4 ((((triple4 ((((triple4) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
((triple8) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple8 triple7) -> (rule3 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
((((triple8 ((triple6) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple8 ((((triple8) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
((triple11 ((((triple11) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple11 ((((((triple11 triple10) -> (rule3 % int4)) triple12) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((triple11 ((((((triple11 triple10) -> (rule3 % int5)) ((triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((triple11 ((((((triple11 ((triple12) -> (rule1 % int5))) -> (rule3 % int4)) triple12) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((triple11 ((((((triple11 ((triple12) -> (rule1 % int6))) -> (rule3 % int5)) ((triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Gary is nice.
("Gary" "is" "nice" "+")
triple10
((triple12) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple9) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple11 ((((triple11) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
((triple10) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple11 ((((triple11) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
((triple2) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple3 ((((triple2) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
((triple4) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple6) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple8) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple8 triple7) -> (rule3 % int4)) ((triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple8 triple7) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple8 ((((triple8 ((triple6) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((triple8 ((((triple8 ((((triple8) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
((triple7) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((((triple8 ((triple6) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple8 ((((triple8) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
((triple11) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple11 triple10) -> (rule3 % int2)) triple12) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple11 triple10) -> (rule3 % int3)) ((triple10) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple11 ((triple12) -> (rule1 % int3))) -> (rule3 % int2)) triple12) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple11 ((triple9) -> (rule6 % int3))) -> (rule3 % int2)) triple12) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple11 triple10) -> (rule3 % int4)) ((((triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple11 ((triple12) -> (rule1 % int4))) -> (rule3 % int3)) ((triple10) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple11 ((triple9) -> (rule6 % int4))) -> (rule3 % int3)) ((triple10) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple11 ((triple12) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple11 ((triple9) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
((triple11 triple10) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple11 ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple11 ((triple9) -> (rule6 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple11 ((((triple11 ((((triple11) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple4) -> (rule5 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple8 ((triple6) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((triple8 ((((triple8) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((triple8 ((((((triple8 triple7) -> (rule3 % int5)) ((triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
((((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((((triple11 triple10) -> (rule3 % int3)) triple12) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple11 triple10) -> (rule3 % int4)) ((triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple11 ((triple12) -> (rule1 % int4))) -> (rule3 % int3)) triple12) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple11 ((triple9) -> (rule6 % int4))) -> (rule3 % int3)) triple12) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple11 triple10) -> (rule3 % int5)) ((((triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple11 ((triple12) -> (rule1 % int5))) -> (rule3 % int4)) ((triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple11 ((triple9) -> (rule6 % int5))) -> (rule3 % int4)) ((triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple11 ((triple12) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple11 ((triple9) -> (rule6 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
((triple4 ((((triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((triple4 ((((triple4) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
((((((triple4 ((((triple4) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5