Bob is furry. Bob is red. Bob is not smart. Dave is big. Dave is kind. Erin is not red. Erin is not smart. All kind people are smart.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is not smart.
("Erin" "is" "smart" "-")
All kind people are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Bob is not red.
False
1
inv-proof
[(triple2)]
("Bob" "is" "red" "-")
triple2
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Bob is furry.[(triple1)] Bob is not smart.[(triple3)] Bob is red.[(triple2)] Dave is big.[(triple4)] Dave is kind.[(triple5)] Erin is not red.[(triple6)] Erin is not smart.[(triple7)] @1: Dave is smart.[(((triple5) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is not smart.
("Bob" "is" "smart" "-")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Erin is not red.
("Erin" "is" "red" "-")
triple6
Erin is not smart.
("Erin" "is" "smart" "-")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
((triple5) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1