Charlie is not big. Charlie is quiet. Charlie is young. Dave is furry. Dave is nice. Dave is quiet. Gary is big. If Charlie is young and Charlie is quiet then Charlie is not green.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Gary is big.
("Gary" "is" "big" "+")
If Charlie is young and Charlie is quiet then Charlie is not green.
((("Charlie" "is" "young" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "green" "-"))
Dave is furry.
True
1
proof
[(triple4)]
("Dave" "is" "furry" "+")
triple4
Dave is not furry.
False
1
inv-proof
[(triple4)]
("Dave" "is" "furry" "-")
triple4
Charlie is not green.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Charlie" "is" "green" "-")
((triple3 triple2) -> (rule1 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1
Charlie is green.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Charlie" "is" "green" "+")
((triple3 triple2) -> (rule1 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Charlie is not big.[(triple1)] Charlie is quiet.[(triple2)] Charlie is young.[(triple3)] Dave is furry.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Gary is big.[(triple7)] @1: Charlie is not green.[(((triple3 triple2) -> rule1))]
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Charlie is not green.
("Charlie" "is" "green" "-")
((triple3 triple2) -> (rule1 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1