Bob is nice. Bob is quiet. Bob is young. If Bob is furry then Bob is round. If something is nice and rough then it is young. If Bob is nice and Bob is quiet then Bob is furry.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is young.
("Bob" "is" "young" "+")
If Bob is furry then Bob is round.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "round" "+"))
If something is nice and rough then it is young.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If Bob is nice and Bob is quiet then Bob is furry.
((("Bob" "is" "nice" "+") ("Bob" "is" "quiet" "+")) -> ("Bob" "is" "furry" "+"))
Bob is nice.
True
1
proof
[(triple1)]
("Bob" "is" "nice" "+")
triple1
Bob is not nice.
False
1
inv-proof
[(triple1)]
("Bob" "is" "nice" "-")
triple1
Bob is furry.
True
3
proof
[(((triple1 triple2) -> rule3))]
("Bob" "is" "furry" "+")
((triple1 triple2) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
3
inv-proof
[(((triple1 triple2) -> rule3))]
("Bob" "is" "furry" "-")
((triple1 triple2) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
True
4
proof
[(((((triple1 triple2) -> rule3)) -> rule1))]
("Bob" "is" "round" "+")
((((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not round.
False
4
inv-proof
[(((((triple1 triple2) -> rule3)) -> rule1))]
("Bob" "is" "round" "-")
((((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Bob is young.[(triple3)] @1: Bob is furry.[(((triple1 triple2) -> rule3))] @2: Bob is round.[(((((triple1 triple2) -> rule3)) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
((triple1 triple2) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2