Anne is furry. Anne is not nice. Anne is quiet. Anne is not rough. Charlie is cold. Charlie is quiet. Fiona is cold. Fiona is kind. Fiona is quiet. Gary is cold. Gary is furry. Gary is quiet. If Charlie is not red then Charlie is not cold. If someone is red then they are rough. If someone is cold and quiet then they are furry. If someone is nice and kind then they are quiet. If someone is furry and not rough then they are quiet. If someone is furry and not nice then they are not kind.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If Charlie is not red then Charlie is not cold.
((("Charlie" "is" "red" "~")) -> ("Charlie" "is" "cold" "-"))
If someone is red then they are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and quiet then they are furry.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If someone is nice and kind then they are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
If someone is furry and not rough then they are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "quiet" "+"))
If someone is furry and not nice then they are not kind.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "kind" "-"))
Anne is not rough.
True
1
proof
[(triple4)]
("Anne" "is" "rough" "-")
triple4
Fiona is not kind.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "kind" "-")
triple8
Fiona is furry.
True
3
proof
[(((triple7 triple9) -> rule3))]
("Fiona" "is" "furry" "+")
((triple7 triple9) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
3
inv-proof
[(((triple7 triple9) -> rule3))]
("Fiona" "is" "furry" "-")
((triple7 triple9) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Anne is furry.[(triple1)] Anne is not nice.[(triple2)] Anne is not rough.[(triple4)] Anne is quiet.[(triple3 OR ((triple1 triple4) -> rule5))] Charlie is cold.[(triple5)] Charlie is quiet.[(triple6)] Fiona is cold.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11 OR ((triple10 triple12) -> rule3))] Gary is quiet.[(triple12)] @1: Anne is not kind.[(((triple1 triple2) -> rule6))] Charlie is furry.[(((triple5 triple6) -> rule3))] Fiona is furry.[(((triple7 triple9) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
Anne is not rough.
("Anne" "is" "rough" "-")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple1 triple4) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
((triple10 triple12) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
Anne is not kind.
("Anne" "is" "kind" "-")
((triple1 triple2) -> (rule6 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple5 triple6) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple7 triple9) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1