Anne is green. Anne is kind. Anne is rough. Bob is blue. Bob is green. Bob is kind. Bob is quiet. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. All quiet, green things are rough. Green things are furry.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
All quiet, green things are rough.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Bob is quiet.
True
1
proof
[(triple7)]
("Bob" "is" "quiet" "+")
triple7
Anne is not rough.
False
1
inv-proof
[(triple3)]
("Anne" "is" "rough" "-")
triple3
Bob is rough.
True
3
proof
[(((triple7 triple5) -> rule1))]
("Bob" "is" "rough" "+")
((triple7 triple5) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "furry" "-")
((triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Bob is blue.[(triple4)] Bob is green.[(triple5)] Bob is kind.[(triple6)] Bob is quiet.[(triple7)] Charlie is furry.[(triple8)] Charlie is kind.[(triple9)] Charlie is quiet.[(triple10)] Charlie is red.[(triple11)] Charlie is rough.[(triple12)] @1: Anne is furry.[(((triple1) -> rule2))] Bob is furry.[(((triple5) -> rule2))] Bob is rough.[(((triple7 triple5) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Charlie is furry.
("Charlie" "is" "furry" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple9
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple10
Charlie is red.
("Charlie" "is" "red" "+")
triple11
Charlie is rough.
("Charlie" "is" "rough" "+")
triple12
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((triple5) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple7 triple5) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1