Bob is furry. Bob is not kind. Bob is red. Bob is round. Bob is young. Dave is kind. Dave is round. Round things are nice.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
Bob is not kind.
True
1
proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Bob is not round.
False
1
inv-proof
[(triple4)]
("Bob" "is" "round" "-")
triple4
Dave is nice.
True
2
proof
[(((triple7) -> rule1))]
("Dave" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple7) -> rule1))]
("Dave" "is" "nice" "-")
((triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Bob is furry.[(triple1)] Bob is not kind.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5)] Dave is kind.[(triple6)] Dave is round.[(triple7)] @1: Bob is nice.[(((triple4) -> rule1))] Dave is nice.[(((triple7) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is not kind.
("Bob" "is" "kind" "-")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
((triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1