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