Anne is blue. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Bob is white. Erin is furry. Erin is quiet. Erin is red. Erin is white. All smart people are white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
All smart people are white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Bob is red.
True
1
proof
[(triple9)]
("Bob" "is" "red" "+")
triple9
Erin is not quiet.
False
1
inv-proof
[(triple14)]
("Erin" "is" "quiet" "-")
triple14
Anne is white.
True
2
proof
[(((triple5) -> rule1))]
("Anne" "is" "white" "+")
((triple5) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple5) -> rule1))]
("Anne" "is" "white" "-")
((triple5) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Bob is blue.[(triple6)] Bob is furry.[(triple7)] Bob is quiet.[(triple8)] Bob is red.[(triple9)] Bob is rough.[(triple10)] Bob is smart.[(triple11)] Bob is white.[(triple12 OR ((triple11) -> rule1))] Erin is furry.[(triple13)] Erin is quiet.[(triple14)] Erin is red.[(triple15)] Erin is white.[(triple16)] @1: Anne is white.[(((triple5) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is furry.
("Bob" "is" "furry" "+")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
triple9
Bob is rough.
("Bob" "is" "rough" "+")
triple10
Bob is smart.
("Bob" "is" "smart" "+")
triple11
Bob is white.
("Bob" "is" "white" "+")
triple12
((triple11) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple13
Erin is quiet.
("Erin" "is" "quiet" "+")
triple14
Erin is red.
("Erin" "is" "red" "+")
triple15
Erin is white.
("Erin" "is" "white" "+")
triple16
Anne is white.
("Anne" "is" "white" "+")
((triple5) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1