Erin is blue. Young things are blue. All white things are furry. If something is blue then it is round. Quiet things are blue. Quiet, furry things are white. If Erin is round and Erin is blue then Erin is quiet. All furry, white things are young. White, cold things are young.
Erin is blue.
("Erin" "is" "blue" "+")
Young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
All white things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If something is blue then it is round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Quiet things are blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
Quiet, furry things are white.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
If Erin is round and Erin is blue then Erin is quiet.
((("Erin" "is" "round" "+") ("Erin" "is" "blue" "+")) -> ("Erin" "is" "quiet" "+"))
All furry, white things are young.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
White, cold things are young.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Erin is blue.
True
1
proof
[(triple1)]
("Erin" "is" "blue" "+")
triple1
Erin is not blue.
False
1
inv-proof
[(triple1)]
("Erin" "is" "blue" "-")
triple1
Erin is round.
True
2
proof
[(((triple1) -> rule3))]
("Erin" "is" "round" "+")
((triple1) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple1) -> rule3))]
("Erin" "is" "round" "-")
((triple1) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
True
4
proof
[(((((triple1) -> rule3) triple1) -> rule6))]
("Erin" "is" "quiet" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is not quiet.
False
4
inv-proof
[(((((triple1) -> rule3) triple1) -> rule6))]
("Erin" "is" "quiet" "-")
((((triple1) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is not furry.
Unknown
inv-rconc
[@2: Erin is furry.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is white.
Unknown
rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Erin" "is" "white" "+")
Erin is not young.
Unknown
inv-rconc
[@3: Erin is young.[CWA. Example of deepest failure = (rule7 <- rule2 <- rule5 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Erin is blue.[(triple1)] @1: Erin is round.[(((triple1) -> rule3))] @2: Erin is quiet.[(((((triple1) -> rule3) triple1) -> rule6))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
((triple1) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2