Anne is big. Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is white. Anne is young. Bob is big. Bob is not green. Bob is red. Bob is white. Bob is young. If something is quiet then it is white.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
Bob is white.
True
1
proof
[(triple11)]
("Bob" "is" "white" "+")
triple11
Bob is not young.
False
1
inv-proof
[(triple12)]
("Bob" "is" "young" "-")
triple12
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is white.[(triple6 OR ((triple4) -> rule1))] Anne is young.[(triple7)] Bob is big.[(triple8)] Bob is not green.[(triple9)] Bob is red.[(triple10)] Bob is white.[(triple11)] Bob is young.[(triple12)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
((triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is not green.
("Bob" "is" "green" "-")
triple9
Bob is red.
("Bob" "is" "red" "+")
triple10
Bob is white.
("Bob" "is" "white" "+")
triple11
Bob is young.
("Bob" "is" "young" "+")
triple12