Anne is quiet. Fiona is cold. Gary is nice. If Gary is furry then Gary is quiet. If someone is round then they are big. If Anne is quiet then Anne is big. All round, blue people are quiet. If someone is big then they are quiet. If someone is blue and cold then they are round. Furry, blue people are nice. All cold, blue people are quiet.
Anne is quiet.
("Anne" "is" "quiet" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If Gary is furry then Gary is quiet.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "quiet" "+"))
If someone is round then they are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If Anne is quiet then Anne is big.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "big" "+"))
All round, blue people are quiet.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
If someone is big then they are quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
If someone is blue and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Furry, blue people are nice.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
All cold, blue people are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Anne is not quiet.
False
1
inv-proof
[(triple1)]
("Anne" "is" "quiet" "-")
triple1
Anne is big.
True
2
proof
[(((triple1) -> rule3))]
("Anne" "is" "big" "+")
((triple1) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "big" "-")
((triple1) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "nice" "-")
Fiona is quiet.
Unknown
rconc
[@3: Fiona is quiet.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule6 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Anne is quiet.[(triple1)] Fiona is cold.[(triple2)] Gary is nice.[(triple3)] @1: Anne is big.[(((triple1) -> rule3))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1