Charlie is big. Charlie is green. Charlie is quiet. Charlie is round. Gary is big. Gary is quiet. Gary is young. If something is quiet then it is rough.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is quiet then it is rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
Charlie is round.
True
1
proof
[(triple4)]
("Charlie" "is" "round" "+")
triple4
Charlie is not green.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "green" "-")
triple2
Gary is rough.
True
2
proof
[(((triple6) -> rule1))]
("Gary" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple3) -> rule1))]
("Charlie" "is" "rough" "-")
((triple3) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3)] Charlie is round.[(triple4)] Gary is big.[(triple5)] Gary is quiet.[(triple6)] Gary is young.[(triple7)] @1: Charlie is rough.[(((triple3) -> rule1))] Gary is rough.[(((triple6) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1