Erin is rough. Fiona is cold. If Erin is round then Erin is green. All green, rough things are smart. All quiet things are round. If Fiona is green and Fiona is smart then Fiona is red. All cold things are smart. If Erin is quiet then Erin is cold.
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
If Erin is round then Erin is green.
((("Erin" "is" "round" "+")) -> ("Erin" "is" "green" "+"))
All green, rough things are smart.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
All quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If Fiona is green and Fiona is smart then Fiona is red.
((("Fiona" "is" "green" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "red" "+"))
All cold things are smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
If Erin is quiet then Erin is cold.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "cold" "+"))
Erin is rough.
True
1
proof
[(triple1)]
("Erin" "is" "rough" "+")
triple1
Fiona is not cold.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "cold" "-")
triple2
Fiona is smart.
True
2
proof
[(((triple2) -> rule5))]
("Fiona" "is" "smart" "+")
((triple2) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple2) -> rule5))]
("Fiona" "is" "smart" "-")
((triple2) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "round" "-")
Erin is cold.
Unknown
rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "cold" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Erin is rough.[(triple1)] Fiona is cold.[(triple2)] @1: Fiona is smart.[(((triple2) -> rule5))]
Erin is rough.
("Erin" "is" "rough" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple2) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1