Bob is cold. Bob is nice. Bob is red. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is white. Fiona is young. Gary is cold. Gary is furry. Gary is red. Gary is white. Gary is young. If something is cold and quiet then it is nice. All red, young things are nice. Red, nice things are quiet. All cold, nice things are white. If something is white and quiet then it is furry. Red, nice things are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is cold and quiet then it is nice.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
All red, young things are nice.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Red, nice things are quiet.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
All cold, nice things are white.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
If something is white and quiet then it is furry.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
Red, nice things are cold.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
Gary is cold.
True
1
proof
[(triple11 OR ((triple13 ((triple13 triple15) -> rule2)) -> rule6))]
("Gary" "is" "cold" "+")
triple11
((triple13 ((triple13 triple15) -> (rule2 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Bob is quiet.
True
3
proof
[(((triple3 triple2) -> rule3))]
("Bob" "is" "quiet" "+")
((triple3 triple2) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not white.
False
3
inv-proof
[(((triple1 triple2) -> rule4) OR ((((triple3 triple2) -> rule6) triple2) -> rule4))]
("Bob" "is" "white" "-")
((triple1 triple2) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple3 triple2) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
True
7
proof
[(((((triple1 triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple3 triple2) -> rule6) triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule5))]
("Bob" "is" "furry" "+")
((((triple1 triple2) -> (rule4 % int3)) ((triple3 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple3 triple2) -> (rule6 % int4)) triple2) -> (rule4 % int3)) ((triple3 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Gary is not quiet.
False
5
inv-proof
[(((triple13 ((triple13 triple15) -> rule2)) -> rule3))]
("Gary" "is" "quiet" "-")
((triple13 ((triple13 triple15) -> (rule2 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
@0: Bob is cold.[(triple1 OR ((triple3 triple2) -> rule6))] Bob is nice.[(triple2)] Bob is red.[(triple3)] Fiona is cold.[(triple4 OR ((triple8 triple6) -> rule6) OR ((triple8 ((triple8 triple10) -> rule2)) -> rule6))] Fiona is furry.[(triple5 OR ((triple9 triple7) -> rule5) OR ((triple9 ((triple8 triple6) -> rule3)) -> rule5) OR ((((triple4 triple6) -> rule4) triple7) -> rule5) OR ((((triple4 triple6) -> rule4) ((triple8 triple6) -> rule3)) -> rule5) OR ((triple9 ((triple8 ((triple8 triple10) -> rule2)) -> rule3)) -> rule5) OR ((((triple4 ((triple4 triple7) -> rule1)) -> rule4) triple7) -> rule5) OR ((((triple4 ((triple8 triple10) -> rule2)) -> rule4) triple7) -> rule5) OR ((((((triple8 triple6) -> rule6) triple6) -> rule4) triple7) -> rule5) OR ((((triple4 triple6) -> rule4) ((triple8 ((triple8 triple10) -> rule2)) -> rule3)) -> rule5) OR ((((triple4 ((triple4 triple7) -> rule1)) -> rule4) ((triple8 triple6) -> rule3)) -> rule5) OR ((((triple4 ((triple8 triple10) -> rule2)) -> rule4) ((triple8 triple6) -> rule3)) -> rule5) OR ((((((triple8 triple6) -> rule6) triple6) -> rule4) ((triple8 triple6) -> rule3)) -> rule5) OR ((((((triple8 triple6) -> rule6) ((triple4 triple7) -> rule1)) -> rule4) triple7) -> rule5) OR ((((((triple8 triple6) -> rule6) ((triple8 triple10) -> rule2)) -> rule4) triple7) -> rule5) OR ((((triple4 ((triple4 triple7) -> rule1)) -> rule4) ((triple8 ((triple8 triple10) -> rule2)) -> rule3)) -> rule5) OR ((((triple4 ((triple8 triple10) -> rule2)) -> rule4) ((triple8 ((triple8 triple10) -> rule2)) -> rule3)) -> rule5) OR ((((((triple8 triple6) -> rule6) triple6) -> rule4) ((triple8 ((triple8 triple10) -> rule2)) -> rule3)) -> rule5) OR ((((((triple8 triple6) -> rule6) ((triple4 triple7) -> rule1)) -> rule4) ((triple8 triple6) -> rule3)) -> rule5) OR ((((((triple8 triple6) -> rule6) ((triple8 triple10) -> rule2)) -> rule4) ((triple8 triple6) -> rule3)) -> rule5) OR ((((((triple8 triple6) -> rule6) ((triple4 triple7) -> rule1)) -> rule4) ((triple8 ((triple8 triple10) -> rule2)) -> rule3)) -> rule5) OR ((((((triple8 triple6) -> rule6) ((triple8 triple10) -> rule2)) -> rule4) ((triple8 ((triple8 triple10) -> rule2)) -> rule3)) -> rule5) OR ((((((triple8 ((triple8 triple10) -> rule2)) -> rule6) triple6) -> rule4) triple7) -> rule5) OR ((((((triple8 ((triple8 triple10) -> rule2)) -> rule6) triple6) -> rule4) ((triple8 triple6) -> rule3)) -> rule5) OR ((((((triple8 ((triple8 triple10) -> rule2)) -> rule6) ((triple4 triple7) -> rule1)) -> rule4) triple7) -> rule5) OR ((((((triple8 ((triple8 triple10) -> rule2)) -> rule6) ((triple8 triple10) -> rule2)) -> rule4) triple7) -> rule5) OR ((((((triple8 ((triple8 triple10) -> rule2)) -> rule6) triple6) -> rule4) ((triple8 ((triple8 triple10) -> rule2)) -> rule3)) -> rule5) OR ((((((triple8 ((triple8 triple10) -> rule2)) -> rule6) ((triple4 triple7) -> rule1)) -> rule4) ((triple8 triple6) -> rule3)) -> rule5) OR ((((((triple8 ((triple8 triple10) -> rule2)) -> rule6) ((triple8 triple10) -> rule2)) -> rule4) ((triple8 triple6) -> rule3)) -> rule5) OR ((((((triple8 ((triple8 triple10) -> rule2)) -> rule6) ((triple4 triple7) -> rule1)) -> rule4) ((triple8 ((triple8 triple10) -> rule2)) -> rule3)) -> rule5) OR ((((((triple8 ((triple8 triple10) -> rule2)) -> rule6) ((triple8 triple10) -> rule2)) -> rule4) ((triple8 ((triple8 triple10) -> rule2)) -> rule3)) -> rule5))] Fiona is nice.[(triple6 OR ((triple4 triple7) -> rule1) OR ((triple8 triple10) -> rule2))] Fiona is quiet.[(triple7 OR ((triple8 triple6) -> rule3) OR ((triple8 ((triple8 triple10) -> rule2)) -> rule3))] Fiona is red.[(triple8)] Fiona is white.[(triple9 OR ((triple4 triple6) -> rule4) OR ((triple4 ((triple4 triple7) -> rule1)) -> rule4) OR ((triple4 ((triple8 triple10) -> rule2)) -> rule4) OR ((((triple8 triple6) -> rule6) triple6) -> rule4) OR ((((triple8 triple6) -> rule6) ((triple4 triple7) -> rule1)) -> rule4) OR ((((triple8 triple6) -> rule6) ((triple8 triple10) -> rule2)) -> rule4) OR ((((triple8 ((triple8 triple10) -> rule2)) -> rule6) triple6) -> rule4) OR ((((triple8 ((triple8 triple10) -> rule2)) -> rule6) ((triple4 triple7) -> rule1)) -> rule4) OR ((((triple8 ((triple8 triple10) -> rule2)) -> rule6) ((triple8 triple10) -> rule2)) -> rule4))] Fiona is young.[(triple10)] Gary is cold.[(triple11 OR ((triple13 ((triple13 triple15) -> rule2)) -> rule6))] Gary is furry.[(triple12 OR ((triple14 ((triple13 ((triple13 triple15) -> rule2)) -> rule3)) -> rule5) OR ((((triple11 ((triple13 triple15) -> rule2)) -> rule4) ((triple13 ((triple13 triple15) -> rule2)) -> rule3)) -> rule5) OR ((((((triple13 ((triple13 triple15) -> rule2)) -> rule6) ((triple13 triple15) -> rule2)) -> rule4) ((triple13 ((triple13 triple15) -> rule2)) -> rule3)) -> rule5))] Gary is red.[(triple13)] Gary is white.[(triple14 OR ((triple11 ((triple13 triple15) -> rule2)) -> rule4) OR ((((triple13 ((triple13 triple15) -> rule2)) -> rule6) ((triple13 triple15) -> rule2)) -> rule4))] Gary is young.[(triple15)] @1: Bob is quiet.[(((triple3 triple2) -> rule3))] Bob is white.[(((triple1 triple2) -> rule4) OR ((((triple3 triple2) -> rule6) triple2) -> rule4))] Gary is nice.[(((triple13 triple15) -> rule2))] @2: Bob is furry.[(((((triple1 triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple3 triple2) -> rule6) triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule5))] Gary is quiet.[(((triple13 ((triple13 triple15) -> rule2)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((triple3 triple2) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
((triple8 triple6) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple8 ((triple8 triple10) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
((triple9 triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple9 ((triple8 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple4 triple6) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple4 triple6) -> (rule4 % int3)) ((triple8 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((triple9 ((triple8 ((triple8 triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple4 ((triple4 triple7) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple4 ((triple8 triple10) -> (rule2 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple8 triple6) -> (rule6 % int3)) triple6) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple4 triple6) -> (rule4 % int4)) ((triple8 ((triple8 triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple4 ((triple4 triple7) -> (rule1 % int4))) -> (rule4 % int3)) ((triple8 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple4 ((triple8 triple10) -> (rule2 % int4))) -> (rule4 % int3)) ((triple8 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple8 triple6) -> (rule6 % int4)) triple6) -> (rule4 % int3)) ((triple8 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple8 triple6) -> (rule6 % int4)) ((triple4 triple7) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple8 triple6) -> (rule6 % int4)) ((triple8 triple10) -> (rule2 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple4 ((triple4 triple7) -> (rule1 % int4))) -> (rule4 % int3)) ((triple8 ((triple8 triple10) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple4 ((triple8 triple10) -> (rule2 % int4))) -> (rule4 % int3)) ((triple8 ((triple8 triple10) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple8 triple6) -> (rule6 % int5)) triple6) -> (rule4 % int4)) ((triple8 ((triple8 triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple8 triple6) -> (rule6 % int5)) ((triple4 triple7) -> (rule1 % int4))) -> (rule4 % int3)) ((triple8 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple8 triple6) -> (rule6 % int5)) ((triple8 triple10) -> (rule2 % int4))) -> (rule4 % int3)) ((triple8 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple8 triple6) -> (rule6 % int5)) ((triple4 triple7) -> (rule1 % int4))) -> (rule4 % int3)) ((triple8 ((triple8 triple10) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple8 triple6) -> (rule6 % int5)) ((triple8 triple10) -> (rule2 % int4))) -> (rule4 % int3)) ((triple8 ((triple8 triple10) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple8 ((triple8 triple10) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple8 ((triple8 triple10) -> (rule2 % int5))) -> (rule6 % int4)) triple6) -> (rule4 % int3)) ((triple8 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple8 ((triple8 triple10) -> (rule2 % int4))) -> (rule6 % int3)) ((triple4 triple7) -> (rule1 % int4))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple8 ((triple8 triple10) -> (rule2 % int4))) -> (rule6 % int3)) ((triple8 triple10) -> (rule2 % int4))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple8 ((triple8 triple10) -> (rule2 % int5))) -> (rule6 % int4)) triple6) -> (rule4 % int3)) ((triple8 ((triple8 triple10) -> (rule2 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple8 ((triple8 triple10) -> (rule2 % int5))) -> (rule6 % int4)) ((triple4 triple7) -> (rule1 % int5))) -> (rule4 % int3)) ((triple8 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple8 ((triple8 triple10) -> (rule2 % int5))) -> (rule6 % int4)) ((triple8 triple10) -> (rule2 % int5))) -> (rule4 % int3)) ((triple8 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple8 ((triple8 triple10) -> (rule2 % int5))) -> (rule6 % int4)) ((triple4 triple7) -> (rule1 % int5))) -> (rule4 % int3)) ((triple8 ((triple8 triple10) -> (rule2 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple8 ((triple8 triple10) -> (rule2 % int5))) -> (rule6 % int4)) ((triple8 triple10) -> (rule2 % int5))) -> (rule4 % int3)) ((triple8 ((triple8 triple10) -> (rule2 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
((triple4 triple7) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple8 triple10) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
((triple8 triple6) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple8 ((triple8 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
((triple4 triple6) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple4 ((triple4 triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((triple4 ((triple8 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple8 triple6) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple8 triple6) -> (rule6 % int3)) ((triple4 triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple8 triple6) -> (rule6 % int3)) ((triple8 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple8 ((triple8 triple10) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple8 ((triple8 triple10) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4 triple7) -> (rule1 % int3))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple8 ((triple8 triple10) -> (rule2 % int3))) -> (rule6 % int2)) ((triple8 triple10) -> (rule2 % int3))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
((triple13 ((triple13 triple15) -> (rule2 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple12
((triple14 ((triple13 ((triple13 triple15) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple11 ((triple13 triple15) -> (rule2 % int4))) -> (rule4 % int3)) ((triple13 ((triple13 triple15) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple13 ((triple13 triple15) -> (rule2 % int5))) -> (rule6 % int4)) ((triple13 triple15) -> (rule2 % int5))) -> (rule4 % int3)) ((triple13 ((triple13 triple15) -> (rule2 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14
((triple11 ((triple13 triple15) -> (rule2 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple13 ((triple13 triple15) -> (rule2 % int3))) -> (rule6 % int2)) ((triple13 triple15) -> (rule2 % int3))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple15
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple3 triple2) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple1 triple2) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple3 triple2) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple13 triple15) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((((triple1 triple2) -> (rule4 % int3)) ((triple3 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple3 triple2) -> (rule6 % int4)) triple2) -> (rule4 % int3)) ((triple3 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple13 ((triple13 triple15) -> (rule2 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2