Anne is furry. Anne is not kind. Anne is nice. Anne is rough. Fiona is blue. Fiona is cold. Fiona is not furry. Fiona is kind. Fiona is nice. Fiona is rough. Cold people are blue. If Anne is nice and Anne is kind then Anne is blue. All rough people are quiet.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If Anne is nice and Anne is kind then Anne is blue.
((("Anne" "is" "nice" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "blue" "+"))
All rough people are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
Anne is rough.
True
1
proof
[(triple4)]
("Anne" "is" "rough" "+")
triple4
Fiona is not blue.
False
1
inv-proof
[(triple5 OR ((triple6) -> rule1))]
("Fiona" "is" "blue" "-")
triple5
((triple6) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple3)] Anne is not kind.[(triple2)] Anne is rough.[(triple4)] Fiona is blue.[(triple5 OR ((triple6) -> rule1))] Fiona is cold.[(triple6)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is not furry.[(triple7)] Fiona is rough.[(triple10)] @1: Anne is quiet.[(((triple4) -> rule3))] Fiona is quiet.[(((triple10) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not kind.
("Anne" "is" "kind" "-")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
((triple6) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple4) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple10) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1