Anne is not smart. Erin is smart. Fiona is big. Harry is not big. If something is cold and not smart then it is quiet. If something is nice and big then it is furry. If Fiona is not cold then Fiona is big.
Anne is not smart.
("Anne" "is" "smart" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Harry is not big.
("Harry" "is" "big" "-")
If something is cold and not smart then it is quiet.
((("something" "is" "cold" "+") ("something" "is" "smart" "~")) -> ("something" "is" "quiet" "+"))
If something is nice and big then it is furry.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If Fiona is not cold then Fiona is big.
((("Fiona" "is" "cold" "~")) -> ("Fiona" "is" "big" "+"))
Fiona is big.
True
1
proof
[(triple3)]
("Fiona" "is" "big" "+")
triple3
Harry is big.
False
1
inv-proof
[(triple4)]
("Harry" "is" "big" "+")
triple4
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is not smart.[(triple1)] Erin is smart.[(triple2)] Fiona is big.[(triple3)] Harry is not big.[(triple4)]
Anne is not smart.
("Anne" "is" "smart" "-")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Harry is not big.
("Harry" "is" "big" "-")
triple4