Dave is big. Dave is not green. Dave is rough. Dave is smart. Dave is white. Fiona is not furry. Fiona is green. Fiona is quiet. Fiona is not rough. Fiona is smart. Fiona is white. Gary is furry. Gary is not green. Gary is quiet. Gary is not rough. Gary is white. If something is green then it is quiet. All smart, furry things are not quiet. If something is big and smart then it is furry.
Dave is big.
("Dave" "is" "big" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is white.
("Gary" "is" "white" "+")
If something is green then it is quiet.
((("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
All smart, furry things are not quiet.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("something" "is" "quiet" "-"))
If something is big and smart then it is furry.
((("something" "is" "big" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Dave is smart.
True
1
proof
[(triple4)]
("Dave" "is" "smart" "+")
triple4
Dave is not smart.
False
1
inv-proof
[(triple4)]
("Dave" "is" "smart" "-")
triple4
Dave is furry.
True
3
proof
[(((triple1 triple4) -> rule3))]
("Dave" "is" "furry" "+")
((triple1 triple4) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not furry.
False
3
inv-proof
[(((triple1 triple4) -> rule3))]
("Dave" "is" "furry" "-")
((triple1 triple4) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not quiet.
True
5
proof
[(((triple4 ((triple1 triple4) -> rule3)) -> rule2))]
("Dave" "is" "quiet" "-")
((triple4 ((triple1 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
False
5
inv-proof
[(((triple4 ((triple1 triple4) -> rule3)) -> rule2))]
("Dave" "is" "quiet" "+")
((triple4 ((triple1 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Dave is big.[(triple1)] Dave is not green.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Fiona is green.[(triple7)] Fiona is not furry.[(triple6)] Fiona is not rough.[(triple9)] Fiona is quiet.[(triple8 OR ((triple7) -> rule1))] Fiona is smart.[(triple10)] Fiona is white.[(triple11)] Gary is furry.[(triple12)] Gary is not green.[(triple13)] Gary is not rough.[(triple15)] Gary is quiet.[(triple14)] Gary is white.[(triple16)] @1: Dave is furry.[(((triple1 triple4) -> rule3))] @2: Dave is not quiet.[(((triple4 ((triple1 triple4) -> rule3)) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is not green.
("Dave" "is" "green" "-")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple6
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
((triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is not green.
("Gary" "is" "green" "-")
triple13
Gary is not rough.
("Gary" "is" "rough" "-")
triple15
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple16
Dave is furry.
("Dave" "is" "furry" "+")
((triple1 triple4) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not quiet.
("Dave" "is" "quiet" "-")
((triple4 ((triple1 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2