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