Bob is red. Erin is not quiet. Erin is young. Fiona is rough. Gary is blue. Gary is not quiet. Gary is rough. All rough people are not quiet. Blue people are red. If Erin is blue and Erin is cold then Erin is not furry. All furry, young people are not cold. If someone is rough then they are blue. Young people are furry. If Bob is cold and Bob is blue then Bob is not rough. If someone is red then they are young. If Gary is rough and Gary is blue then Gary is furry.
Bob is red.
("Bob" "is" "red" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is young.
("Erin" "is" "young" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is rough.
("Gary" "is" "rough" "+")
All rough people are not quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "-"))
Blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If Erin is blue and Erin is cold then Erin is not furry.
((("Erin" "is" "blue" "+") ("Erin" "is" "cold" "+")) -> ("Erin" "is" "furry" "-"))
All furry, young people are not cold.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "-"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
If Bob is cold and Bob is blue then Bob is not rough.
((("Bob" "is" "cold" "+") ("Bob" "is" "blue" "+")) -> ("Bob" "is" "rough" "-"))
If someone is red then they are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If Gary is rough and Gary is blue then Gary is furry.
((("Gary" "is" "rough" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "furry" "+"))
Gary is rough.
True
1
proof
[(triple7)]
("Gary" "is" "rough" "+")
triple7
Bob is not red.
False
1
inv-proof
[(triple1)]
("Bob" "is" "red" "-")
triple1
Gary is red.
True
2
proof
[(((triple5) -> rule2) OR ((((triple7) -> rule5)) -> rule2))]
("Gary" "is" "red" "+")
((triple5) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not furry.
False
3
inv-proof
[(((triple7 triple5) -> rule9) OR ((triple7 ((triple7) -> rule5)) -> rule9) OR ((((((triple5) -> rule2)) -> rule8)) -> rule6) OR ((((((((triple7) -> rule5)) -> rule2)) -> rule8)) -> rule6))]
("Gary" "is" "furry" "-")
((triple7 triple5) -> (rule9 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple7 ((triple7) -> (rule5 % int2))) -> (rule9 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((((triple5) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((((triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is young.
True
3
proof
[(((((triple5) -> rule2)) -> rule8) OR ((((((triple7) -> rule5)) -> rule2)) -> rule8))]
("Gary" "is" "young" "+")
((((triple5) -> (rule2 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((((triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Fiona is not red.
False
3
inv-proof
[(((((triple4) -> rule5)) -> rule2))]
("Fiona" "is" "red" "-")
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
True
4
proof
[(((((((triple4) -> rule5)) -> rule2)) -> rule8))]
("Fiona" "is" "young" "+")
((((((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Gary is cold.
False
7
inv-proof
[(((((triple7 triple5) -> rule9) ((((triple5) -> rule2)) -> rule8)) -> rule4) OR ((((triple7 ((triple7) -> rule5)) -> rule9) ((((triple5) -> rule2)) -> rule8)) -> rule4) OR ((((triple7 triple5) -> rule9) ((((((triple7) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule2)) -> rule8)) -> rule6) ((((triple5) -> rule2)) -> rule8)) -> rule4) OR ((((triple7 ((triple7) -> rule5)) -> rule9) ((((((triple7) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule2)) -> rule8)) -> rule6) ((((((triple7) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple7) -> rule5)) -> rule2)) -> rule8)) -> rule6) ((((triple5) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple7) -> rule5)) -> rule2)) -> rule8)) -> rule6) ((((((triple7) -> rule5)) -> rule2)) -> rule8)) -> rule4))]
("Gary" "is" "cold" "+")
((((triple7 triple5) -> (rule9 % int4)) ((((triple5) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple7 ((triple7) -> (rule5 % int5))) -> (rule9 % int4)) ((((triple5) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((triple7 triple5) -> (rule9 % int5)) ((((((triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple5) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple7 ((triple7) -> (rule5 % int5))) -> (rule9 % int4)) ((((((triple7) -> (rule5 % int5))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple5) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple7) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((((triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((((((triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Fiona is furry.
True
5
proof
[(((((((((triple4) -> rule5)) -> rule2)) -> rule8)) -> rule6))]
("Fiona" "is" "furry" "+")
((((((((triple4) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is not furry.
False
5
inv-proof
[(((((((((triple4) -> rule5)) -> rule2)) -> rule8)) -> rule6))]
("Fiona" "is" "furry" "-")
((((((((triple4) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is not cold.
True
10
proof
[(((((((((((triple4) -> rule5)) -> rule2)) -> rule8)) -> rule6) ((((((triple4) -> rule5)) -> rule2)) -> rule8)) -> rule4))]
("Fiona" "is" "cold" "-")
((((((((((triple4) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((((((triple4) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is cold.
False
10
inv-proof
[(((((((((((triple4) -> rule5)) -> rule2)) -> rule8)) -> rule6) ((((((triple4) -> rule5)) -> rule2)) -> rule8)) -> rule4))]
("Fiona" "is" "cold" "+")
((((((((((triple4) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((((((triple4) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "blue" "-")
Erin is red.
Unknown
rconc
[@2: Erin is red.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Erin" "is" "red" "+")
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "blue" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Bob is red.[(triple1)] Erin is not quiet.[(triple2)] Erin is young.[(triple3)] Fiona is rough.[(triple4)] Gary is blue.[(triple5 OR ((triple7) -> rule5))] Gary is not quiet.[(triple6 OR ((triple7) -> rule1))] Gary is rough.[(triple7)] @1: Bob is young.[(((triple1) -> rule8))] Erin is furry.[(((triple3) -> rule6))] Fiona is blue.[(((triple4) -> rule5))] Fiona is not quiet.[(((triple4) -> rule1))] Gary is furry.[(((triple7 triple5) -> rule9) OR ((triple7 ((triple7) -> rule5)) -> rule9) OR ((((((triple5) -> rule2)) -> rule8)) -> rule6) OR ((((((((triple7) -> rule5)) -> rule2)) -> rule8)) -> rule6))] Gary is red.[(((triple5) -> rule2) OR ((((triple7) -> rule5)) -> rule2))] @2: Bob is furry.[(((((triple1) -> rule8)) -> rule6))] Erin is not cold.[(((((triple3) -> rule6) triple3) -> rule4))] Fiona is red.[(((((triple4) -> rule5)) -> rule2))] Gary is young.[(((((triple5) -> rule2)) -> rule8) OR ((((((triple7) -> rule5)) -> rule2)) -> rule8))] @3: Bob is not cold.[(((((((triple1) -> rule8)) -> rule6) ((triple1) -> rule8)) -> rule4))] Fiona is young.[(((((((triple4) -> rule5)) -> rule2)) -> rule8))] Gary is not cold.[(((((triple7 triple5) -> rule9) ((((triple5) -> rule2)) -> rule8)) -> rule4) OR ((((triple7 ((triple7) -> rule5)) -> rule9) ((((triple5) -> rule2)) -> rule8)) -> rule4) OR ((((triple7 triple5) -> rule9) ((((((triple7) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule2)) -> rule8)) -> rule6) ((((triple5) -> rule2)) -> rule8)) -> rule4) OR ((((triple7 ((triple7) -> rule5)) -> rule9) ((((((triple7) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule2)) -> rule8)) -> rule6) ((((((triple7) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple7) -> rule5)) -> rule2)) -> rule8)) -> rule6) ((((triple5) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple7) -> rule5)) -> rule2)) -> rule8)) -> rule6) ((((((triple7) -> rule5)) -> rule2)) -> rule8)) -> rule4))] @4: Fiona is furry.[(((((((((triple4) -> rule5)) -> rule2)) -> rule8)) -> rule6))] @5: Fiona is not cold.[(((((((((((triple4) -> rule5)) -> rule2)) -> rule8)) -> rule6) ((((((triple4) -> rule5)) -> rule2)) -> rule8)) -> rule4))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
((triple7) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple6
((triple7) -> (rule1 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple3) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple4) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((triple4) -> (rule1 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple7 triple5) -> (rule9 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple7 ((triple7) -> (rule5 % int2))) -> (rule9 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((((triple5) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((((triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
((triple5) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Erin is not cold.
("Erin" "is" "cold" "-")
((((triple3) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple5) -> (rule2 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((((triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Bob is not cold.
("Bob" "is" "cold" "-")
((((((triple1) -> (rule8 % int3))) -> (rule6 % int2)) ((triple1) -> (rule8 % int3))) -> (rule4 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((((((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Gary is not cold.
("Gary" "is" "cold" "-")
((((triple7 triple5) -> (rule9 % int4)) ((((triple5) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple7 ((triple7) -> (rule5 % int5))) -> (rule9 % int4)) ((((triple5) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((triple7 triple5) -> (rule9 % int5)) ((((((triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple5) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple7 ((triple7) -> (rule5 % int5))) -> (rule9 % int4)) ((((((triple7) -> (rule5 % int5))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple5) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple7) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((((triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((((((triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((((triple4) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is not cold.
("Fiona" "is" "cold" "-")
((((((((((triple4) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((((((triple4) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5