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