Anne is big. Anne is blue. Anne is not kind. Anne is quiet. Anne is rough. Anne is not round. Anne is white. Bob is big. Bob is kind. Bob is quiet. Bob is rough. Bob is not round. Bob is white. Dave is big. Dave is quiet. Dave is not round. Rough people are blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not round.
("Bob" "is" "round" "-")
Bob is white.
("Bob" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not round.
("Dave" "is" "round" "-")
Rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Anne is not round.
True
1
proof
[(triple6)]
("Anne" "is" "round" "-")
triple6
Anne is not blue.
False
1
inv-proof
[(triple2 OR ((triple5) -> rule1))]
("Anne" "is" "blue" "-")
triple2
((triple5) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple5) -> rule1))] Anne is not kind.[(triple3)] Anne is not round.[(triple6)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple7)] Bob is big.[(triple8)] Bob is kind.[(triple9)] Bob is not round.[(triple12)] Bob is quiet.[(triple10)] Bob is rough.[(triple11)] Bob is white.[(triple13)] Dave is big.[(triple14)] Dave is not round.[(triple16)] Dave is quiet.[(triple15)] @1: Bob is blue.[(((triple11) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple5) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not kind.
("Anne" "is" "kind" "-")
triple3
Anne is not round.
("Anne" "is" "round" "-")
triple6
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
triple9
Bob is not round.
("Bob" "is" "round" "-")
triple12
Bob is quiet.
("Bob" "is" "quiet" "+")
triple10
Bob is rough.
("Bob" "is" "rough" "+")
triple11
Bob is white.
("Bob" "is" "white" "+")
triple13
Dave is big.
("Dave" "is" "big" "+")
triple14
Dave is not round.
("Dave" "is" "round" "-")
triple16
Dave is quiet.
("Dave" "is" "quiet" "+")
triple15
Bob is blue.
("Bob" "is" "blue" "+")
((triple11) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1