Bob is blue. Bob is cold. Bob is green. Bob is not red. Bob is rough. Bob is not round. Charlie is blue. Charlie is green. Erin is blue. Erin is red. Erin is not rough. Erin is round. If Charlie is rough and Charlie is furry then Charlie is round. All furry, round people are blue. If Charlie is not rough and Charlie is not cold then Charlie is green. If someone is rough and not cold then they are furry. If Bob is not furry then Bob is not blue. If someone is round and not furry then they are red.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not round.
("Bob" "is" "round" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is round.
("Erin" "is" "round" "+")
If Charlie is rough and Charlie is furry then Charlie is round.
((("Charlie" "is" "rough" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "round" "+"))
All furry, round people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If Charlie is not rough and Charlie is not cold then Charlie is green.
((("Charlie" "is" "rough" "~") ("Charlie" "is" "cold" "~")) -> ("Charlie" "is" "green" "+"))
If someone is rough and not cold then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "furry" "+"))
If Bob is not furry then Bob is not blue.
((("Bob" "is" "furry" "~")) -> ("Bob" "is" "blue" "-"))
If someone is round and not furry then they are red.
((("someone" "is" "round" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "red" "+"))
Erin is blue.
True
1
proof
[(triple9)]
("Erin" "is" "blue" "+")
triple9
Bob is not green.
False
1
inv-proof
[(triple3)]
("Bob" "is" "green" "-")
triple3
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "furry" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is not red.[(triple4)] Bob is not round.[(triple6)] Bob is rough.[(triple5)] Charlie is blue.[(triple7)] Charlie is green.[(triple8)] Erin is blue.[(triple9)] Erin is not rough.[(triple11)] Erin is red.[(triple10)] Erin is round.[(triple12)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is not red.
("Bob" "is" "red" "-")
triple4
Bob is not round.
("Bob" "is" "round" "-")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Erin is blue.
("Erin" "is" "blue" "+")
triple9
Erin is not rough.
("Erin" "is" "rough" "-")
triple11
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
triple12