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