Bob is not big. Bob is not blue. Bob is cold. Bob is not furry. Bob is green. Bob is red. Bob is rough. Charlie is big. Charlie is blue. Charlie is not red. Charlie is not rough. Erin is not big. Erin is blue. Erin is cold. Erin is furry. Erin is green. If Erin is not blue then Erin is rough. If something is furry and not red then it is big.
Bob is not big.
("Bob" "is" "big" "-")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Erin is not big.
("Erin" "is" "big" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
If Erin is not blue then Erin is rough.
((("Erin" "is" "blue" "~")) -> ("Erin" "is" "rough" "+"))
If something is furry and not red then it is big.
((("something" "is" "furry" "+") ("something" "is" "red" "~")) -> ("something" "is" "big" "+"))
Charlie is big.
True
1
proof
[(triple8)]
("Charlie" "is" "big" "+")
triple8
Bob is furry.
False
1
inv-proof
[(triple4)]
("Bob" "is" "furry" "+")
triple4
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Bob is cold.[(triple3)] Bob is green.[(triple5)] Bob is not big.[(triple1)] Bob is not blue.[(triple2)] Bob is not furry.[(triple4)] Bob is red.[(triple6)] Bob is rough.[(triple7)] Charlie is big.[(triple8)] Charlie is blue.[(triple9)] Charlie is not red.[(triple10)] Charlie is not rough.[(triple11)] Erin is blue.[(triple13)] Erin is cold.[(triple14)] Erin is furry.[(triple15)] Erin is green.[(triple16)] Erin is not big.[(triple12)]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not blue.
("Bob" "is" "blue" "-")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple7
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
Charlie is not red.
("Charlie" "is" "red" "-")
triple10
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple11
Erin is blue.
("Erin" "is" "blue" "+")
triple13
Erin is cold.
("Erin" "is" "cold" "+")
triple14
Erin is furry.
("Erin" "is" "furry" "+")
triple15
Erin is green.
("Erin" "is" "green" "+")
triple16
Erin is not big.
("Erin" "is" "big" "-")
triple12