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