Anne is not big. Anne is furry. Anne is quiet. Anne is round. Dave is furry. Dave is nice. Dave is quiet. Dave is round. Fiona is kind. Fiona is quiet. Fiona is round. Gary is big. Gary is not furry. Gary is kind. Gary is nice. Gary is rough. Big, nice people are not round. All round, nice people are quiet. If Gary is furry and Gary is not round then Gary is rough.
Anne is not big.
("Anne" "is" "big" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Big, nice people are not round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "-"))
All round, nice people are quiet.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
If Gary is furry and Gary is not round then Gary is rough.
((("Gary" "is" "furry" "+") ("Gary" "is" "round" "~")) -> ("Gary" "is" "rough" "+"))
Fiona is kind.
True
1
proof
[(triple9)]
("Fiona" "is" "kind" "+")
triple9
Dave is not furry.
False
1
inv-proof
[(triple5)]
("Dave" "is" "furry" "-")
triple5
Gary is not round.
True
3
proof
[(((triple12 triple15) -> rule1))]
("Gary" "is" "round" "-")
((triple12 triple15) -> (rule1 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is round.
False
3
inv-proof
[(((triple12 triple15) -> rule1))]
("Gary" "is" "round" "+")
((triple12 triple15) -> (rule1 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "quiet" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is furry.[(triple2)] Anne is not big.[(triple1)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Dave is furry.[(triple5)] Dave is nice.[(triple6)] Dave is quiet.[(triple7 OR ((triple8 triple6) -> rule2))] Dave is round.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10)] Fiona is round.[(triple11)] Gary is big.[(triple12)] Gary is kind.[(triple14)] Gary is nice.[(triple15)] Gary is not furry.[(triple13)] Gary is rough.[(triple16)] @1: Gary is not round.[(((triple12 triple15) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
((triple8 triple6) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple14
Gary is nice.
("Gary" "is" "nice" "+")
triple15
Gary is not furry.
("Gary" "is" "furry" "-")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple16
Gary is not round.
("Gary" "is" "round" "-")
((triple12 triple15) -> (rule1 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1