Erin is rough. Fiona is round. If something is furry and green then it is white. Rough things are white. All cold, furry things are white. If something is cold and furry then it is not rough. Round things are rough. If something is green then it is not furry.
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is furry and green then it is white.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
All cold, furry things are white.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
If something is cold and furry then it is not rough.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "-"))
Round things are rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is green then it is not furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "-"))
Fiona is round.
True
1
proof
[(triple2)]
("Fiona" "is" "round" "+")
triple2
Erin is not rough.
False
1
inv-proof
[(triple1)]
("Erin" "is" "rough" "-")
triple1
Fiona is rough.
True
2
proof
[(((triple2) -> rule5))]
("Fiona" "is" "rough" "+")
((triple2) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple2) -> rule5))]
("Fiona" "is" "rough" "-")
((triple2) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
True
3
proof
[(((((triple2) -> rule5)) -> rule2))]
("Fiona" "is" "white" "+")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not white.
False
3
inv-proof
[(((((triple2) -> rule5)) -> rule2))]
("Fiona" "is" "white" "-")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Erin is rough.[(triple1)] Fiona is round.[(triple2)] @1: Erin is white.[(((triple1) -> rule2))] Fiona is rough.[(((triple2) -> rule5))] @2: Fiona is white.[(((((triple2) -> rule5)) -> rule2))]
Erin is rough.
("Erin" "is" "rough" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
((triple1) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple2) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2