Bob is blue. Bob is furry. Bob is kind. Bob is smart. Bob is white. Erin is big. Erin is not blue. Erin is not rough. Erin is smart. Erin is white. If someone is furry and white then they are not big.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
If someone is furry and white then they are not big.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "-"))
Bob is furry.
True
1
proof
[(triple2)]
("Bob" "is" "furry" "+")
triple2
Bob is not kind.
False
1
inv-proof
[(triple3)]
("Bob" "is" "kind" "-")
triple3
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Erin is big.[(triple6)] Erin is not blue.[(triple7)] Erin is not rough.[(triple8)] Erin is smart.[(triple9)] Erin is white.[(triple10)] @1: Bob is not big.[(((triple2 triple5) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is not blue.
("Erin" "is" "blue" "-")
triple7
Erin is not rough.
("Erin" "is" "rough" "-")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
Bob is not big.
("Bob" "is" "big" "-")
((triple2 triple5) -> (rule1 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1