Erin is smart. All blue people are red. If someone is furry and not rough then they are not smart. If someone is smart then they are cold. Blue, furry people are not nice. Furry people are nice. All furry people are blue. If Erin is not rough then Erin is not blue. If Erin is cold then Erin is not furry.
Erin is smart.
("Erin" "is" "smart" "+")
All blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is furry and not rough then they are not smart.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "smart" "-"))
If someone is smart then they are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Blue, furry people are not nice.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "-"))
Furry people are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
All furry people are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If Erin is not rough then Erin is not blue.
((("Erin" "is" "rough" "~")) -> ("Erin" "is" "blue" "-"))
If Erin is cold then Erin is not furry.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "furry" "-"))
Erin is smart.
True
1
proof
[(triple1)]
("Erin" "is" "smart" "+")
triple1
Erin is not smart.
False
1
inv-proof
[(triple1)]
("Erin" "is" "smart" "-")
triple1
Erin is cold.
True
2
proof
[(((triple1) -> rule3))]
("Erin" "is" "cold" "+")
((triple1) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple1) -> rule3))]
("Erin" "is" "cold" "-")
((triple1) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not furry.
True
3
proof
[(((((triple1) -> rule3)) -> rule8))]
("Erin" "is" "furry" "-")
((((triple1) -> (rule3 % int2))) -> (rule8 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is furry.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule8))]
("Erin" "is" "furry" "+")
((((triple1) -> (rule3 % int2))) -> (rule8 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not red.
Unknown
inv-rconc
[@2: Erin is red.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is nice.
Unknown
rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "nice" "+")
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "blue" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Erin is smart.[(triple1)] @1: Erin is cold.[(((triple1) -> rule3))] @2: Erin is not furry.[(((((triple1) -> rule3)) -> rule8))]
Erin is smart.
("Erin" "is" "smart" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
((triple1) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not furry.
("Erin" "is" "furry" "-")
((((triple1) -> (rule3 % int2))) -> (rule8 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2