Anne is smart. Dave is blue. Erin is nice. If someone is nice and not smart then they are furry. If Erin is nice and Erin is not blue then Erin is big.
Anne is smart.
("Anne" "is" "smart" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
If someone is nice and not smart then they are furry.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "furry" "+"))
If Erin is nice and Erin is not blue then Erin is big.
((("Erin" "is" "nice" "+") ("Erin" "is" "blue" "~")) -> ("Erin" "is" "big" "+"))
Anne is smart.
True
1
proof
[(triple1)]
("Anne" "is" "smart" "+")
triple1
Anne is not smart.
False
1
inv-proof
[(triple1)]
("Anne" "is" "smart" "-")
triple1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Anne is smart.[(triple1)] Dave is blue.[(triple2)] Erin is nice.[(triple3)]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3