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