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