Anne is kind. Anne is round. Anne is smart. Anne is young. Charlie is kind. Charlie is round. Charlie is white. Gary is blue. Gary is kind. Gary is red. Gary is round. Gary is young. White people are kind. Kind people are young.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
White people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Gary is round.
True
1
proof
[(triple11)]
("Gary" "is" "round" "+")
triple11
Charlie is not kind.
False
1
inv-proof
[(triple5 OR ((triple7) -> rule1))]
("Charlie" "is" "kind" "-")
triple5
((triple7) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4 OR ((triple1) -> rule2))] Charlie is kind.[(triple5 OR ((triple7) -> rule1))] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Gary is blue.[(triple8)] Gary is kind.[(triple9)] Gary is red.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12 OR ((triple9) -> rule2))] @1: Charlie is young.[(((triple5) -> rule2) OR ((((triple7) -> rule1)) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
((triple7) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
((triple9) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple5) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2