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