Bob is not furry. Bob is not green. Bob is red. Bob is round. Dave is furry. Gary is furry. Gary is green. White, green things are round. Green things are big. If something is round and quiet then it is not big. All white things are big. If Bob is furry and Bob is big then Bob is red. If Gary is green then Gary is white. If something is furry then it is red. If something is round and not furry then it is quiet.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is not green.
("Bob" "is" "green" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
White, green things are round.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Green things are big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If something is round and quiet then it is not big.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "-"))
All white things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If Bob is furry and Bob is big then Bob is red.
((("Bob" "is" "furry" "+") ("Bob" "is" "big" "+")) -> ("Bob" "is" "red" "+"))
If Gary is green then Gary is white.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "white" "+"))
If something is furry then it is red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
If something is round and not furry then it is quiet.
((("something" "is" "round" "+") ("something" "is" "furry" "~")) -> ("something" "is" "quiet" "+"))
Gary is green.
True
1
proof
[(triple7)]
("Gary" "is" "green" "+")
triple7
Dave is not furry.
False
1
inv-proof
[(triple5)]
("Dave" "is" "furry" "-")
triple5
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Bob is not furry.[(triple1)] Bob is not green.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Dave is furry.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] @1: Bob is quiet.[(((triple4 triple1) -> rule8))] Dave is red.[(((triple5) -> rule7))] Gary is big.[(((triple7) -> rule2) OR ((((triple7) -> rule6)) -> rule4))] Gary is red.[(((triple6) -> rule7))] Gary is white.[(((triple7) -> rule6))] @2: Bob is not big.[(((triple4 ((triple4 triple1) -> rule8)) -> rule3))] Gary is round.[(((((triple7) -> rule6) triple7) -> rule1))]
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is not green.
("Bob" "is" "green" "-")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple4 triple1) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple5) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple7) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple6) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple7) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Bob is not big.
("Bob" "is" "big" "-")
((triple4 ((triple4 triple1) -> (rule8 % int2))) -> (rule3 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple7) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2