Anne is not big. Anne is nice. Dave is red. Dave is white. Gary is big. Gary is furry. Gary is nice. Gary is red. Gary is round. Gary is white. Furry people are not blue. Red people are furry.
Anne is not big.
("Anne" "is" "big" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Furry people are not blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "-"))
Red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Anne is nice.
True
1
proof
[(triple2)]
("Anne" "is" "nice" "+")
triple2
Anne is not nice.
False
1
inv-proof
[(triple2)]
("Anne" "is" "nice" "-")
triple2
Dave is furry.
True
2
proof
[(((triple3) -> rule2))]
("Dave" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Gary is blue.
False
2
inv-proof
[(((triple6) -> rule1) OR ((((triple8) -> rule2)) -> rule1))]
("Gary" "is" "blue" "+")
((triple6) -> (rule1 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Dave is not blue.
True
3
proof
[(((((triple3) -> rule2)) -> rule1))]
("Dave" "is" "blue" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Dave is not blue.
("Dave" "is" "blue" "-")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule1))]
("Dave" "is" "blue" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Dave is not blue.
("Dave" "is" "blue" "-")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "furry" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Anne is nice.[(triple2)] Anne is not big.[(triple1)] Dave is red.[(triple3)] Dave is white.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple6 OR ((triple8) -> rule2))] Gary is nice.[(triple7)] Gary is red.[(triple8)] Gary is round.[(triple9)] Gary is white.[(triple10)] @1: Dave is furry.[(((triple3) -> rule2))] Gary is not blue.[(((triple6) -> rule1) OR ((((triple8) -> rule2)) -> rule1))] @2: Dave is not blue.[(((((triple3) -> rule2)) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
((triple8) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Dave is furry.
("Dave" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Gary is not blue.
("Gary" "is" "blue" "-")
((triple6) -> (rule1 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Dave is not blue.
("Dave" "is" "blue" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Dave is not blue.
("Dave" "is" "blue" "-")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2