Anne is red. Bob is blue. Bob is furry. Bob is not quiet. Bob is rough. Bob is smart. Gary is blue. Gary is not furry. Gary is quiet. Gary is not red. Gary is rough. Gary is round. All furry people are round.
Anne is red.
("Anne" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
All furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
Gary is not furry.
True
1
proof
[(triple8)]
("Gary" "is" "furry" "-")
triple8
Bob is not furry.
False
1
inv-proof
[(triple3)]
("Bob" "is" "furry" "-")
triple3
Bob is round.
True
2
proof
[(((triple3) -> rule1))]
("Bob" "is" "round" "+")
((triple3) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple3) -> rule1))]
("Bob" "is" "round" "-")
((triple3) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is red.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is not quiet.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Gary is blue.[(triple7)] Gary is not furry.[(triple8)] Gary is not red.[(triple10)] Gary is quiet.[(triple9)] Gary is rough.[(triple11)] Gary is round.[(triple12)] @1: Bob is round.[(((triple3) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is not furry.
("Gary" "is" "furry" "-")
triple8
Gary is not red.
("Gary" "is" "red" "-")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Bob is round.
("Bob" "is" "round" "+")
((triple3) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1