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