Erin is blue. Fiona is blue. Fiona is rough. All blue things are smart. If something is quiet and blue then it is rough. Big things are cold. All cold, blue things are white. All smart things are cold. If Erin is smart then Erin is blue. White things are blue. If something is quiet then it is big.
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All blue things are smart.
((("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If something is quiet and blue then it is rough.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
Big things are cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
All cold, blue things are white.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
All smart things are cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
If Erin is smart then Erin is blue.
((("Erin" "is" "smart" "+")) -> ("Erin" "is" "blue" "+"))
White things are blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If something is quiet then it is big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
Fiona is blue.
True
1
proof
[(triple2)]
("Fiona" "is" "blue" "+")
triple2
Fiona is not blue.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "blue" "-")
triple2
Erin is smart.
True
2
proof
[(((triple1) -> rule1))]
("Erin" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "smart" "-")
((triple1) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
True
3
proof
[(((((triple1) -> rule1)) -> rule5))]
("Erin" "is" "cold" "+")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is not cold.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule5))]
("Erin" "is" "cold" "-")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "rough" "-")
Fiona is big.
Unknown
rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "big" "+")
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Erin is blue.[(triple1)] Fiona is blue.[(triple2)] Fiona is rough.[(triple3)] @1: Erin is smart.[(((triple1) -> rule1))] Fiona is smart.[(((triple2) -> rule1))] @2: Erin is cold.[(((((triple1) -> rule1)) -> rule5))] Fiona is cold.[(((((triple2) -> rule1)) -> rule5))] @3: Erin is white.[(((((((triple1) -> rule1)) -> rule5) triple1) -> rule4))] Fiona is white.[(((((((triple2) -> rule1)) -> rule5) triple2) -> rule4))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Erin is smart.
("Erin" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
((((((triple1) -> (rule1 % int3))) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple2) -> (rule1 % int3))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3