Bob is nice. Bob is not quiet. Bob is rough. Bob is round. Bob is smart. Gary is cold. Gary is furry. Gary is quiet. Gary is rough. Gary is smart. If Gary is furry then Gary is round. Cold people are nice.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Gary is furry then Gary is round.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "round" "+"))
Cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Gary is quiet.
True
1
proof
[(triple8)]
("Gary" "is" "quiet" "+")
triple8
Bob is not rough.
False
1
inv-proof
[(triple3)]
("Bob" "is" "rough" "-")
triple3
Gary is round.
True
2
proof
[(((triple7) -> rule1))]
("Gary" "is" "round" "+")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple6) -> rule2))]
("Gary" "is" "nice" "-")
((triple6) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is nice.[(triple1)] Bob is not quiet.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] Gary is quiet.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] @1: Gary is nice.[(((triple6) -> rule2))] Gary is round.[(((triple7) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
((triple6) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1