Dave is not big. Dave is blue. Dave is green. Dave is nice. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is round. Gary is not big. Gary is blue. Gary is green. Gary is not nice. Gary is round. Gary is young. If something is round then it is furry. If something is green then it is round.
Dave is not big.
("Dave" "is" "big" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is round then it is furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Dave is blue.
True
1
proof
[(triple2)]
("Dave" "is" "blue" "+")
triple2
Erin is not nice.
False
1
inv-proof
[(triple9)]
("Erin" "is" "nice" "-")
triple9
Gary is furry.
True
2
proof
[(((triple15) -> rule1) OR ((((triple13) -> rule2)) -> rule1))]
("Gary" "is" "furry" "+")
((triple15) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple13) -> (rule2 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Dave is not round.
False
2
inv-proof
[(((triple3) -> rule2))]
("Dave" "is" "round" "-")
((triple3) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
True
3
proof
[(((((triple3) -> rule2)) -> rule1))]
("Dave" "is" "furry" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not furry.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule1))]
("Dave" "is" "furry" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Dave is blue.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is not big.[(triple1)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7 OR ((triple10) -> rule1) OR ((((triple8) -> rule2)) -> rule1))] Erin is green.[(triple8)] Erin is nice.[(triple9)] Erin is round.[(triple10 OR ((triple8) -> rule2))] Gary is blue.[(triple12)] Gary is green.[(triple13)] Gary is not big.[(triple11)] Gary is not nice.[(triple14)] Gary is round.[(triple15 OR ((triple13) -> rule2))] Gary is young.[(triple16)] @1: Dave is round.[(((triple3) -> rule2))] Gary is furry.[(((triple15) -> rule1) OR ((((triple13) -> rule2)) -> rule1))] @2: Dave is furry.[(((((triple3) -> rule2)) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is not big.
("Dave" "is" "big" "-")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
((triple10) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
((triple8) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is not big.
("Gary" "is" "big" "-")
triple11
Gary is not nice.
("Gary" "is" "nice" "-")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
((triple13) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple16
Dave is round.
("Dave" "is" "round" "+")
((triple3) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple15) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple13) -> (rule2 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2