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