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