Bob is cold. Bob is kind. Bob is nice. Bob is red. Bob is white. Bob is young. Erin is blue. Erin is cold. Erin is kind. Erin is nice. Erin is red. Erin is white. If Bob is red and Bob is blue then Bob is nice. If Erin is nice and Erin is young then Erin is cold. If Erin is white and Erin is red then Erin is blue.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
If Bob is red and Bob is blue then Bob is nice.
((("Bob" "is" "red" "+") ("Bob" "is" "blue" "+")) -> ("Bob" "is" "nice" "+"))
If Erin is nice and Erin is young then Erin is cold.
((("Erin" "is" "nice" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "cold" "+"))
If Erin is white and Erin is red then Erin is blue.
((("Erin" "is" "white" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "blue" "+"))
Erin is kind.
True
1
proof
[(triple9)]
("Erin" "is" "kind" "+")
triple9
Erin is not kind.
False
1
inv-proof
[(triple9)]
("Erin" "is" "kind" "-")
triple9
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6)] Erin is blue.[(triple7 OR ((triple12 triple11) -> rule3))] Erin is cold.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is red.[(triple11)] Erin is white.[(triple12)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
((triple12 triple11) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12