Erin is red. If something is green then it is round. If Erin is red then Erin is big. All red, blue things are furry. If Erin is round and Erin is blue then Erin is quiet. Quiet things are furry. If Erin is big then Erin is green.
Erin is red.
("Erin" "is" "red" "+")
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If Erin is red then Erin is big.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "big" "+"))
All red, blue things are furry.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If Erin is round and Erin is blue then Erin is quiet.
((("Erin" "is" "round" "+") ("Erin" "is" "blue" "+")) -> ("Erin" "is" "quiet" "+"))
Quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If Erin is big then Erin is green.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "green" "+"))
Erin is red.
True
1
proof
[(triple1)]
("Erin" "is" "red" "+")
triple1
Erin is not red.
False
1
inv-proof
[(triple1)]
("Erin" "is" "red" "-")
triple1
Erin is big.
True
2
proof
[(((triple1) -> rule2))]
("Erin" "is" "big" "+")
((triple1) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple1) -> rule2))]
("Erin" "is" "big" "-")
((triple1) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
True
3
proof
[(((((triple1) -> rule2)) -> rule6))]
("Erin" "is" "green" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is not green.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule6))]
("Erin" "is" "green" "-")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "quiet" "-")
Erin is furry.
Unknown
rconc
[@2: Erin is furry.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is red.[(triple1)] @1: Erin is big.[(((triple1) -> rule2))] @2: Erin is green.[(((((triple1) -> rule2)) -> rule6))] @3: Erin is round.[(((((((triple1) -> rule2)) -> rule6)) -> rule1))]
Erin is red.
("Erin" "is" "red" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
((triple1) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((((((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3