Erin is white. Fiona is furry. All white people are cold. If someone is white and smart then they are round. If Erin is cold then Erin is smart.
Erin is white.
("Erin" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If someone is white and smart then they are round.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If Erin is cold then Erin is smart.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "smart" "+"))
Erin is white.
True
1
proof
[(triple1)]
("Erin" "is" "white" "+")
triple1
Fiona is not furry.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "furry" "-")
triple2
Erin is cold.
True
2
proof
[(((triple1) -> rule1))]
("Erin" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("Erin" "is" "smart" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not smart.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("Erin" "is" "smart" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
True
5
proof
[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule2))]
("Erin" "is" "round" "+")
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is not round.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule2))]
("Erin" "is" "round" "-")
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Erin is white.[(triple1)] Fiona is furry.[(triple2)] @1: Erin is cold.[(((triple1) -> rule1))] @2: Erin is smart.[(((((triple1) -> rule1)) -> rule3))] @3: Erin is round.[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule2))]
Erin is white.
("Erin" "is" "white" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3