Charlie is cold. Charlie is kind. Charlie is nice. Charlie is smart. Gary is blue. Gary is kind. Gary is smart. All blue, kind people are nice. If Gary is nice then Gary is cold.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
All blue, kind people are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If Gary is nice then Gary is cold.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "cold" "+"))
Charlie is smart.
True
1
proof
[(triple4)]
("Charlie" "is" "smart" "+")
triple4
Gary is not smart.
False
1
inv-proof
[(triple7)]
("Gary" "is" "smart" "-")
triple7
Gary is nice.
True
3
proof
[(((triple5 triple6) -> rule1))]
("Gary" "is" "nice" "+")
((triple5 triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple5 triple6) -> rule1))]
("Gary" "is" "nice" "-")
((triple5 triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
True
4
proof
[(((((triple5 triple6) -> rule1)) -> rule2))]
("Gary" "is" "cold" "+")
((((triple5 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not cold.
False
4
inv-proof
[(((((triple5 triple6) -> rule1)) -> rule2))]
("Gary" "is" "cold" "-")
((((triple5 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is smart.[(triple4)] Gary is blue.[(triple5)] Gary is kind.[(triple6)] Gary is smart.[(triple7)] @1: Gary is nice.[(((triple5 triple6) -> rule1))] @2: Gary is cold.[(((((triple5 triple6) -> rule1)) -> rule2))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
((triple5 triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple5 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2