Anne is big. Anne is blue. Anne is not furry. Anne is nice. Erin is blue. Erin is furry. Erin is nice. Erin is rough. Erin is white. Gary is big. Gary is blue. Gary is furry. Gary is not nice. Gary is quiet. Gary is not rough. Gary is not white. If something is nice and not quiet then it is furry. If something is quiet then it is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is not white.
("Gary" "is" "white" "-")
If something is nice and not quiet then it is furry.
((("something" "is" "nice" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "furry" "+"))
If something is quiet then it is big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
Erin is nice.
True
1
proof
[(triple7)]
("Erin" "is" "nice" "+")
triple7
Gary is not big.
False
1
inv-proof
[(triple10 OR ((triple14) -> rule2))]
("Gary" "is" "big" "-")
triple10
((triple14) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "big" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple4)] Anne is not furry.[(triple3)] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is rough.[(triple8)] Erin is white.[(triple9)] Gary is big.[(triple10 OR ((triple14) -> rule2))] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is not nice.[(triple13)] Gary is not rough.[(triple15)] Gary is not white.[(triple16)] Gary is quiet.[(triple14)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not furry.
("Anne" "is" "furry" "-")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
((triple14) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is not nice.
("Gary" "is" "nice" "-")
triple13
Gary is not rough.
("Gary" "is" "rough" "-")
triple15
Gary is not white.
("Gary" "is" "white" "-")
triple16
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14