Erin is smart. Fiona is blue. White, kind things are not furry. All blue things are nice. White things are not nice. If Fiona is kind then Fiona is not smart. If something is smart and furry then it is cold. Smart things are blue. If something is furry and kind then it is not white. If Fiona is cold then Fiona is blue.
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
White, kind things are not furry.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "-"))
All blue things are nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
White things are not nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "-"))
If Fiona is kind then Fiona is not smart.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "smart" "-"))
If something is smart and furry then it is cold.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Smart things are blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
If something is furry and kind then it is not white.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "-"))
If Fiona is cold then Fiona is blue.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "blue" "+"))
Erin is smart.
True
1
proof
[(triple1)]
("Erin" "is" "smart" "+")
triple1
Erin is not smart.
False
1
inv-proof
[(triple1)]
("Erin" "is" "smart" "-")
triple1
Fiona is nice.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple1) -> rule6))]
("Erin" "is" "blue" "-")
((triple1) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
True
3
proof
[(((((triple1) -> rule6)) -> rule2))]
("Erin" "is" "nice" "+")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not nice.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule2))]
("Erin" "is" "nice" "-")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "cold" "-")
Erin is cold.
Unknown
rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "cold" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is smart.[(triple1)] Fiona is blue.[(triple2)] @1: Erin is blue.[(((triple1) -> rule6))] Fiona is nice.[(((triple2) -> rule2))] @2: Erin is nice.[(((((triple1) -> rule6)) -> rule2))]
Erin is smart.
("Erin" "is" "smart" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
((triple1) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2