Charlie is furry. Fiona is furry. Nice things are kind. If Charlie is green and Charlie is kind then Charlie is nice. If something is green and not nice then it is cold. All rough, nice things are cold. If something is rough and young then it is furry. Young things are furry. If Fiona is rough and Fiona is kind then Fiona is furry. If something is green and not kind then it is not rough.
Charlie is furry.
("Charlie" "is" "furry" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Nice things are kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If Charlie is green and Charlie is kind then Charlie is nice.
((("Charlie" "is" "green" "+") ("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "nice" "+"))
If something is green and not nice then it is cold.
((("something" "is" "green" "+") ("something" "is" "nice" "~")) -> ("something" "is" "cold" "+"))
All rough, nice things are cold.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If something is rough and young then it is furry.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
If Fiona is rough and Fiona is kind then Fiona is furry.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "furry" "+"))
If something is green and not kind then it is not rough.
((("something" "is" "green" "+") ("something" "is" "kind" "~")) -> ("something" "is" "rough" "-"))
Fiona is furry.
True
1
proof
[(triple2)]
("Fiona" "is" "furry" "+")
triple2
Fiona is not furry.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "furry" "-")
triple2
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "kind" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is furry.[(triple1)] Fiona is furry.[(triple2)]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2