Anne is kind. Bob is kind. Bob is nice. Charlie is white. Fiona is blue. Fiona is kind. Fiona is round. All quiet, blue people are round. All nice, red people are kind. Red people are round. All white, red people are blue. All round people are red. If Fiona is blue and Fiona is white then Fiona is red.
Anne is kind.
("Anne" "is" "kind" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All quiet, blue people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
All nice, red people are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
All white, red people are blue.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
All round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If Fiona is blue and Fiona is white then Fiona is red.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "red" "+"))
Fiona is round.
True
1
proof
[(triple7)]
("Fiona" "is" "round" "+")
triple7
Fiona is not kind.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "kind" "-")
triple6
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "blue" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Anne is kind.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Charlie is white.[(triple4)] Fiona is blue.[(triple5)] Fiona is kind.[(triple6)] Fiona is round.[(triple7)] @1: Fiona is red.[(((triple7) -> rule5))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
((triple7) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1