Dave is furry. Dave is kind. Dave is red. Dave is smart. Fiona is red. Fiona is smart. Fiona is white. Gary is furry. Gary is round. Gary is smart. If Gary is smart then Gary is white. Red things are white. Furry, round things are smart. If something is smart then it is young. Round things are furry. All red things are furry.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Gary is smart then Gary is white.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "white" "+"))
Red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Furry, round things are smart.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
If something is smart then it is young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
All red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Dave is smart.
True
1
proof
[(triple4)]
("Dave" "is" "smart" "+")
triple4
Dave is not red.
False
1
inv-proof
[(triple3)]
("Dave" "is" "red" "-")
triple3
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Dave is furry.[(triple1 OR ((triple3) -> rule6))] Dave is kind.[(triple2)] Dave is red.[(triple3)] Dave is smart.[(triple4)] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7 OR ((triple5) -> rule2))] Gary is furry.[(triple8 OR ((triple9) -> rule5))] Gary is round.[(triple9)] Gary is smart.[(triple10 OR ((triple8 triple9) -> rule3) OR ((((triple9) -> rule5) triple9) -> rule3))] @1: Dave is white.[(((triple3) -> rule2))] Dave is young.[(((triple4) -> rule4))] Fiona is furry.[(((triple5) -> rule6))] Fiona is young.[(((triple6) -> rule4))] Gary is white.[(((triple10) -> rule1) OR ((((triple8 triple9) -> rule3)) -> rule1) OR ((((((triple9) -> rule5) triple9) -> rule3)) -> rule1))] Gary is young.[(((triple10) -> rule4) OR ((((triple8 triple9) -> rule3)) -> rule4) OR ((((((triple9) -> rule5) triple9) -> rule3)) -> rule4))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
((triple3) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((triple5) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple8
((triple9) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
((triple8 triple9) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple9) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((triple3) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple4) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple6) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple10) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((((triple9) -> (rule5 % int3)) triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((triple10) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple8 triple9) -> (rule3 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((((triple9) -> (rule5 % int3)) triple9) -> (rule3 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3