Charlie is nice. Charlie is red. Charlie is young. Gary is green. Gary is not kind. Gary is white. Gary is young. Harry is rough. Harry is white. Harry is not young. If someone is white and not kind then they are young.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is not young.
("Harry" "is" "young" "-")
If someone is white and not kind then they are young.
((("someone" "is" "white" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "young" "+"))
Gary is young.
True
1
proof
[(triple7 OR ((triple6 triple5) -> rule1))]
("Gary" "is" "young" "+")
triple7
((triple6 triple5) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is not white.
False
1
inv-proof
[(triple9)]
("Harry" "is" "white" "-")
triple9
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Charlie is nice.[(triple1)] Charlie is red.[(triple2)] Charlie is young.[(triple3)] Gary is green.[(triple4)] Gary is not kind.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple6 triple5) -> rule1))] Harry is not young.[(triple10)] Harry is rough.[(triple8)] Harry is white.[(triple9)]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple4
Gary is not kind.
("Gary" "is" "kind" "-")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
((triple6 triple5) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is not young.
("Harry" "is" "young" "-")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple9