Anne is nice. Anne is quiet. Anne is round. Anne is white. Anne is young. Dave is kind. Dave is nice. Dave is red. Dave is white. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is round. Gary is white. Gary is young. If someone is kind then they are round. White, round people are young.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is kind then they are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
White, round people are young.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Anne is white.
True
1
proof
[(triple4)]
("Anne" "is" "white" "+")
triple4
Anne is not nice.
False
1
inv-proof
[(triple1)]
("Anne" "is" "nice" "-")
triple1
Dave is round.
True
2
proof
[(((triple6) -> rule1))]
("Dave" "is" "round" "+")
((triple6) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple6) -> rule1))]
("Dave" "is" "round" "-")
((triple6) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
True
4
proof
[(((triple9 ((triple6) -> rule1)) -> rule2))]
("Dave" "is" "young" "+")
((triple9 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not young.
False
4
inv-proof
[(((triple9 ((triple6) -> rule1)) -> rule2))]
("Dave" "is" "young" "-")
((triple9 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5 OR ((triple4 triple3) -> rule2))] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is red.[(triple8)] Dave is white.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is quiet.[(triple12)] Gary is red.[(triple13)] Gary is round.[(triple14 OR ((triple10) -> rule1))] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple15 triple14) -> rule2) OR ((triple15 ((triple10) -> rule1)) -> rule2))] @1: Dave is round.[(((triple6) -> rule1))] @2: Dave is young.[(((triple9 ((triple6) -> rule1)) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
((triple4 triple3) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
((triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple15 triple14) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple15 ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple6) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple9 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2