Dave is furry. Dave is green. Dave is quiet. Dave is white. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is white. If Fiona is green then Fiona is smart. If someone is green then they are cold. All rough, smart people are furry. All green people are cold. All smart, furry people are cold. If someone is green and white then they are cold.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is green then Fiona is smart.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "smart" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
All rough, smart people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
All green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
All smart, furry people are cold.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and white then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Dave is green.
True
1
proof
[(triple2)]
("Dave" "is" "green" "+")
triple2
Dave is not quiet.
False
1
inv-proof
[(triple3)]
("Dave" "is" "quiet" "-")
triple3
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is quiet.[(triple3)] Dave is white.[(triple4)] Fiona is cold.[(triple5 OR ((triple9 triple6) -> rule5) OR ((triple9 ((triple8 triple9) -> rule3)) -> rule5))] Fiona is furry.[(triple6 OR ((triple8 triple9) -> rule3))] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] @1: Dave is cold.[(((triple2) -> rule2) OR ((triple2) -> rule4) OR ((triple2 triple4) -> rule6))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
((triple9 triple6) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple9 ((triple8 triple9) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
((triple8 triple9) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple2) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple2 triple4) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1