Dave is big. Dave is kind. Dave is nice. Dave is smart. Dave is young. Gary is big. Gary is blue. Gary is not nice. Gary is smart. Gary is young. All nice people are not blue.
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
All nice people are not blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "-"))
Dave is young.
True
1
proof
[(triple5)]
("Dave" "is" "young" "+")
triple5
Dave is not young.
False
1
inv-proof
[(triple5)]
("Dave" "is" "young" "-")
triple5
Dave is not blue.
True
2
proof
[(((triple3) -> rule1))]
("Dave" "is" "blue" "-")
((triple3) -> (rule1 % int1))
Dave is not blue.
("Dave" "is" "blue" "-")
int1
Dave is blue.
False
2
inv-proof
[(((triple3) -> rule1))]
("Dave" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Dave is not blue.
("Dave" "is" "blue" "-")
int1
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is smart.[(triple4)] Dave is young.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is not nice.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)] @1: Dave is not blue.[(((triple3) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is not nice.
("Gary" "is" "nice" "-")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Dave is not blue.
("Dave" "is" "blue" "-")
((triple3) -> (rule1 % int1))
Dave is not blue.
("Dave" "is" "blue" "-")
int1