Anne is furry. Anne is not nice. Anne is smart. Dave is furry. Dave is not nice. Dave is quiet. Dave is round. Dave is smart. Fiona is not furry. Fiona is red. If Fiona is young and Fiona is nice then Fiona is not quiet. If someone is young and furry then they are red. If someone is red and nice then they are not round. If someone is young and not nice then they are furry. If Anne is quiet and Anne is not furry then Anne is smart. If someone is nice and not red then they are smart. If someone is young and not nice then they are not smart. All quiet people are smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is red.
("Fiona" "is" "red" "+")
If Fiona is young and Fiona is nice then Fiona is not quiet.
((("Fiona" "is" "young" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "quiet" "-"))
If someone is young and furry then they are red.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If someone is red and nice then they are not round.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "-"))
If someone is young and not nice then they are furry.
((("someone" "is" "young" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "furry" "+"))
If Anne is quiet and Anne is not furry then Anne is smart.
((("Anne" "is" "quiet" "+") ("Anne" "is" "furry" "~")) -> ("Anne" "is" "smart" "+"))
If someone is nice and not red then they are smart.
((("someone" "is" "nice" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "smart" "+"))
If someone is young and not nice then they are not smart.
((("someone" "is" "young" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "smart" "-"))
All quiet people are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
Fiona is red.
True
1
proof
[(triple10)]
("Fiona" "is" "red" "+")
triple10
Fiona is furry.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "furry" "+")
triple9
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "smart" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is furry.[(triple1)] Anne is not nice.[(triple2)] Anne is smart.[(triple3)] Dave is furry.[(triple4)] Dave is not nice.[(triple5)] Dave is quiet.[(triple6)] Dave is round.[(triple7)] Dave is smart.[(triple8 OR ((triple6) -> rule8))] Fiona is not furry.[(triple9)] Fiona is red.[(triple10)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is not nice.
("Dave" "is" "nice" "-")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
triple8
((triple6) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10