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