Anne is not furry. Anne is green. Anne is nice. Anne is not quiet. Dave is furry. Dave is green. Fiona is big. Fiona is green. Fiona is not nice. Fiona is quiet. Fiona is white. Fiona is young. Harry is not furry. Harry is green. Harry is not white. Harry is young. If Dave is green and Dave is not quiet then Dave is big. If someone is nice and not white then they are big.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is not white.
("Harry" "is" "white" "-")
Harry is young.
("Harry" "is" "young" "+")
If Dave is green and Dave is not quiet then Dave is big.
((("Dave" "is" "green" "+") ("Dave" "is" "quiet" "~")) -> ("Dave" "is" "big" "+"))
If someone is nice and not white then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "big" "+"))
Fiona is green.
True
1
proof
[(triple8)]
("Fiona" "is" "green" "+")
triple8
Anne is not green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "big" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not furry.[(triple1)] Anne is not quiet.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Fiona is big.[(triple7)] Fiona is green.[(triple8)] Fiona is not nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)] Harry is green.[(triple14)] Harry is not furry.[(triple13)] Harry is not white.[(triple15)] Harry is young.[(triple16)]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is not furry.
("Harry" "is" "furry" "-")
triple13
Harry is not white.
("Harry" "is" "white" "-")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16