Anne is not young. Fiona is red. Gary is red. If something is furry and not smart then it is not cold. If Anne is young then Anne is furry. Cold things are young. If something is kind and not blue then it is young. Cold things are red. If Anne is young then Anne is kind.
Anne is not young.
("Anne" "is" "young" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is red.
("Gary" "is" "red" "+")
If something is furry and not smart then it is not cold.
((("something" "is" "furry" "+") ("something" "is" "smart" "~")) -> ("something" "is" "cold" "-"))
If Anne is young then Anne is furry.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "furry" "+"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is kind and not blue then it is young.
((("something" "is" "kind" "+") ("something" "is" "blue" "~")) -> ("something" "is" "young" "+"))
Cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If Anne is young then Anne is kind.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "kind" "+"))
Gary is red.
True
1
proof
[(triple3)]
("Gary" "is" "red" "+")
triple3
Anne is young.
False
1
inv-proof
[(triple1)]
("Anne" "is" "young" "+")
triple1
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "furry" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is not young.[(triple1)] Fiona is red.[(triple2)] Gary is red.[(triple3)]
Anne is not young.
("Anne" "is" "young" "-")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3