Bob is rough. Dave is cold. Dave is red. Erin is not big. Erin is blue. Erin is cold. Harry is cold. If Bob is not smart then Bob is red. If Bob is blue then Bob is red. If someone is blue and not smart then they are kind. All blue, rough people are not red. If someone is rough and not kind then they are cold. If Harry is blue and Harry is not kind then Harry is not big.
Bob is rough.
("Bob" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If Bob is not smart then Bob is red.
((("Bob" "is" "smart" "~")) -> ("Bob" "is" "red" "+"))
If Bob is blue then Bob is red.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "red" "+"))
If someone is blue and not smart then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "kind" "+"))
All blue, rough people are not red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "-"))
If someone is rough and not kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "cold" "+"))
If Harry is blue and Harry is not kind then Harry is not big.
((("Harry" "is" "blue" "+") ("Harry" "is" "kind" "~")) -> ("Harry" "is" "big" "-"))
Erin is blue.
True
1
proof
[(triple5)]
("Erin" "is" "blue" "+")
triple5
Harry is not cold.
False
1
inv-proof
[(triple7)]
("Harry" "is" "cold" "-")
triple7
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Bob is rough.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3)] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is not big.[(triple4)] Harry is cold.[(triple7)]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is not big.
("Erin" "is" "big" "-")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple7