Bob is not big. Bob is furry. Bob is quiet. Bob is not round. Charlie is big. Charlie is nice. Charlie is quiet. Dave is not big. Dave is blue. Dave is not furry. Dave is red. Dave is round. Gary is blue. Gary is furry. Gary is quiet. Gary is round. If someone is nice then they are furry.
Bob is not big.
("Bob" "is" "big" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not round.
("Bob" "is" "round" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is not big.
("Dave" "is" "big" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is nice then they are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Charlie is nice.
True
1
proof
[(triple6)]
("Charlie" "is" "nice" "+")
triple6
Bob is not quiet.
False
1
inv-proof
[(triple3)]
("Bob" "is" "quiet" "-")
triple3
Charlie is furry.
True
2
proof
[(((triple6) -> rule1))]
("Charlie" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not furry.
False
2
inv-proof
[(((triple6) -> rule1))]
("Charlie" "is" "furry" "-")
((triple6) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Bob is furry.[(triple2)] Bob is not big.[(triple1)] Bob is not round.[(triple4)] Bob is quiet.[(triple3)] Charlie is big.[(triple5)] Charlie is nice.[(triple6)] Charlie is quiet.[(triple7)] Dave is blue.[(triple9)] Dave is not big.[(triple8)] Dave is not furry.[(triple10)] Dave is red.[(triple11)] Dave is round.[(triple12)] Gary is blue.[(triple13)] Gary is furry.[(triple14)] Gary is quiet.[(triple15)] Gary is round.[(triple16)] @1: Charlie is furry.[(((triple6) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not round.
("Bob" "is" "round" "-")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is not big.
("Dave" "is" "big" "-")
triple8
Dave is not furry.
("Dave" "is" "furry" "-")
triple10
Dave is red.
("Dave" "is" "red" "+")
triple11
Dave is round.
("Dave" "is" "round" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple13
Gary is furry.
("Gary" "is" "furry" "+")
triple14
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Gary is round.
("Gary" "is" "round" "+")
triple16
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1