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