Anne is big. Anne is rough. Anne is young. Bob is quiet. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is young. Gary is furry. Gary is quiet. Gary is young. Quiet people are rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
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 young.
("Charlie" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
Quiet people are rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
Charlie is young.
True
1
proof
[(triple9)]
("Charlie" "is" "young" "+")
triple9
Gary is not young.
False
1
inv-proof
[(triple12)]
("Gary" "is" "young" "-")
triple12
Charlie is rough.
True
2
proof
[(((triple7) -> rule1))]
("Charlie" "is" "rough" "+")
((triple7) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple11) -> rule1))]
("Gary" "is" "rough" "-")
((triple11) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Anne is big.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Bob is quiet.[(triple4)] Charlie is furry.[(triple5)] Charlie is kind.[(triple6)] Charlie is quiet.[(triple7)] Charlie is red.[(triple8)] Charlie is young.[(triple9)] Gary is furry.[(triple10)] Gary is quiet.[(triple11)] Gary is young.[(triple12)] @1: Bob is rough.[(((triple4) -> rule1))] Charlie is rough.[(((triple7) -> rule1))] Gary is rough.[(((triple11) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Bob is rough.
("Bob" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple7) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple11) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1