Anne is round. Fiona is furry. Gary is quiet. If something is cold and kind then it is quiet. Red things are quiet. Furry, round things are quiet. If something is cold then it is furry. Furry things are cold. All red things are nice.
Anne is round.
("Anne" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is cold and kind then it is quiet.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Red things are quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
Furry, round things are quiet.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
If something is cold then it is furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Furry things are cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
All red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Fiona is furry.
True
1
proof
[(triple2)]
("Fiona" "is" "furry" "+")
triple2
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Fiona is cold.
True
2
proof
[(((triple2) -> rule5))]
("Fiona" "is" "cold" "+")
((triple2) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple2) -> rule5))]
("Fiona" "is" "cold" "-")
((triple2) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Gary is not cold.
Unknown
inv-rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is round.[(triple1)] Fiona is furry.[(triple2)] Gary is quiet.[(triple3)] @1: Fiona is cold.[(((triple2) -> rule5))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple2) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1