Bob is rough. Bob is white. Charlie is nice. Charlie is not red. Erin is cold. Erin is quiet. Erin is rough. Erin is white. Gary is rough. Gary is not white. All red people are kind. If someone is cold and quiet then they are white. All rough people are cold. All cold people are rough. Quiet people are rough. All cold, white people are red. If Bob is not quiet then Bob is white. If Gary is rough and Gary is not red then Gary is nice.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not white.
("Gary" "is" "white" "-")
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and quiet then they are white.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
All cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Quiet people are rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
All cold, white people are red.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If Bob is not quiet then Bob is white.
((("Bob" "is" "quiet" "~")) -> ("Bob" "is" "white" "+"))
If Gary is rough and Gary is not red then Gary is nice.
((("Gary" "is" "rough" "+") ("Gary" "is" "red" "~")) -> ("Gary" "is" "nice" "+"))
Bob is rough.
True
1
proof
[(triple1)]
("Bob" "is" "rough" "+")
triple1
Charlie is red.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "red" "+")
triple4
Gary is cold.
True
2
proof
[(((triple9) -> rule3))]
("Gary" "is" "cold" "+")
((triple9) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Erin is not red.
False
3
inv-proof
[(((triple5 triple8) -> rule6) OR ((triple5 ((triple5 triple6) -> rule2)) -> rule6) OR ((((triple7) -> rule3) triple8) -> rule6) OR ((((triple7) -> rule3) ((triple5 triple6) -> rule2)) -> rule6) OR ((triple5 ((((triple7) -> rule3) triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) triple8) -> rule6) OR ((((triple7) -> rule3) ((((triple7) -> rule3) triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) ((triple5 triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) ((((triple7) -> rule3) triple6) -> rule2)) -> rule6) OR ((triple5 ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6) OR ((((triple7) -> rule3) ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6))]
("Erin" "is" "red" "-")
((triple5 triple8) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple5 ((triple5 triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple7) -> (rule3 % int2)) triple8) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple5 triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple5 ((((triple7) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple6) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((triple5 triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((triple5 ((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((triple7) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int3))) -> (rule3 % int4)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
True
4
proof
[(((((triple5 triple8) -> rule6)) -> rule1) OR ((((triple5 ((triple5 triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) triple8) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) ((triple5 triple6) -> rule2)) -> rule6)) -> rule1) OR ((((triple5 ((((triple7) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule3) triple8) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) ((((triple7) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule3) ((triple5 triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule3) ((((triple7) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((triple5 ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1))]
("Erin" "is" "kind" "+")
((((triple5 triple8) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple5 ((triple5 triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple7) -> (rule3 % int3)) triple8) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple7) -> (rule3 % int4)) ((triple5 triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple5 ((((triple7) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) triple8) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((triple5 triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((triple5 ((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule3 % int5)) triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Bob is not red.
False
4
inv-proof
[(((((triple1) -> rule3) triple2) -> rule6))]
("Bob" "is" "red" "-")
((((triple1) -> (rule3 % int2)) triple2) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
True
5
proof
[(((((((triple1) -> rule3) triple2) -> rule6)) -> rule1))]
("Bob" "is" "kind" "+")
((((((triple1) -> (rule3 % int3)) triple2) -> (rule6 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not kind.
False
5
inv-proof
[(((((((triple1) -> rule3) triple2) -> rule6)) -> rule1))]
("Bob" "is" "kind" "-")
((((((triple1) -> (rule3 % int3)) triple2) -> (rule6 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "red" "+")
Charlie is not cold.
Unknown
inv-rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is rough.
Unknown
rconc
[@3: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule5 <- FAIL)]]
("Charlie" "is" "rough" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Bob is rough.[(triple1)] Bob is white.[(triple2)] Charlie is nice.[(triple3)] Charlie is not red.[(triple4)] Erin is cold.[(triple5 OR ((triple7) -> rule3) OR ((((triple6) -> rule5)) -> rule3))] Erin is quiet.[(triple6)] Erin is rough.[(triple7 OR ((triple5) -> rule4) OR ((triple6) -> rule5))] Erin is white.[(triple8 OR ((triple5 triple6) -> rule2) OR ((((triple7) -> rule3) triple6) -> rule2) OR ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2))] Gary is not white.[(triple10)] Gary is rough.[(triple9)] @1: Bob is cold.[(((triple1) -> rule3))] Erin is red.[(((triple5 triple8) -> rule6) OR ((triple5 ((triple5 triple6) -> rule2)) -> rule6) OR ((((triple7) -> rule3) triple8) -> rule6) OR ((((triple7) -> rule3) ((triple5 triple6) -> rule2)) -> rule6) OR ((triple5 ((((triple7) -> rule3) triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) triple8) -> rule6) OR ((((triple7) -> rule3) ((((triple7) -> rule3) triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) ((triple5 triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) ((((triple7) -> rule3) triple6) -> rule2)) -> rule6) OR ((triple5 ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6) OR ((((triple7) -> rule3) ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6))] Gary is cold.[(((triple9) -> rule3))] @2: Bob is red.[(((((triple1) -> rule3) triple2) -> rule6))] Erin is kind.[(((((triple5 triple8) -> rule6)) -> rule1) OR ((((triple5 ((triple5 triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) triple8) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) ((triple5 triple6) -> rule2)) -> rule6)) -> rule1) OR ((((triple5 ((((triple7) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule3) triple8) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) ((((triple7) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule3) ((triple5 triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule3) ((((triple7) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((triple5 ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1))] @3: Bob is kind.[(((((((triple1) -> rule3) triple2) -> rule6)) -> rule1))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is not red.
("Charlie" "is" "red" "-")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
((triple7) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
((triple5) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple6) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple8
((triple5 triple6) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple7) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple6) -> (rule5 % int3))) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Gary is not white.
("Gary" "is" "white" "-")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Bob is cold.
("Bob" "is" "cold" "+")
((triple1) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple5 triple8) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple5 ((triple5 triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple7) -> (rule3 % int2)) triple8) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple5 triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple5 ((((triple7) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple6) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((triple5 triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((triple5 ((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((triple7) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int3))) -> (rule3 % int4)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
((triple9) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((((triple1) -> (rule3 % int2)) triple2) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((((triple5 triple8) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple5 ((triple5 triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple7) -> (rule3 % int3)) triple8) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple7) -> (rule3 % int4)) ((triple5 triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple5 ((((triple7) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) triple8) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((triple5 triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((triple5 ((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule3 % int5)) triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
((((((triple1) -> (rule3 % int3)) triple2) -> (rule6 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3