Erin is not green. Erin is kind. Erin is red. If Erin is kind then Erin is red. If something is red and not kind then it is young. If something is round and not green then it is young. All kind, furry things are not round. If something is quiet and not red then it is round. Round, kind things are furry. All young, round things are not furry. Red, kind things are furry.
Erin is not green.
("Erin" "is" "green" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
If Erin is kind then Erin is red.
((("Erin" "is" "kind" "+")) -> ("Erin" "is" "red" "+"))
If something is red and not kind then it is young.
((("something" "is" "red" "+") ("something" "is" "kind" "~")) -> ("something" "is" "young" "+"))
If something is round and not green then it is young.
((("something" "is" "round" "+") ("something" "is" "green" "~")) -> ("something" "is" "young" "+"))
All kind, furry things are not round.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "-"))
If something is quiet and not red then it is round.
((("something" "is" "quiet" "+") ("something" "is" "red" "~")) -> ("something" "is" "round" "+"))
Round, kind things are furry.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
All young, round things are not furry.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "furry" "-"))
Red, kind things are furry.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
Erin is not green.
True
1
proof
[(triple1)]
("Erin" "is" "green" "-")
triple1
Erin is green.
False
1
inv-proof
[(triple1)]
("Erin" "is" "green" "+")
triple1
Erin is furry.
True
3
proof
[(((triple3 triple2) -> rule8) OR ((((triple2) -> rule1) triple2) -> rule8))]
("Erin" "is" "furry" "+")
((triple3 triple2) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple2) -> (rule1 % int2)) triple2) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not furry.
False
3
inv-proof
[(((triple3 triple2) -> rule8) OR ((((triple2) -> rule1) triple2) -> rule8))]
("Erin" "is" "furry" "-")
((triple3 triple2) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple2) -> (rule1 % int2)) triple2) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not round.
True
5
proof
[(((triple2 ((triple3 triple2) -> rule8)) -> rule4) OR ((triple2 ((((triple2) -> rule1) triple2) -> rule8)) -> rule4))]
("Erin" "is" "round" "-")
((triple2 ((triple3 triple2) -> (rule8 % int2))) -> (rule4 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((triple2 ((((triple2) -> (rule1 % int3)) triple2) -> (rule8 % int2))) -> (rule4 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
False
5
inv-proof
[(((triple2 ((triple3 triple2) -> rule8)) -> rule4) OR ((triple2 ((((triple2) -> rule1) triple2) -> rule8)) -> rule4))]
("Erin" "is" "round" "+")
((triple2 ((triple3 triple2) -> (rule8 % int2))) -> (rule4 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((triple2 ((((triple2) -> (rule1 % int3)) triple2) -> (rule8 % int2))) -> (rule4 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Erin is kind.[(triple2)] Erin is not green.[(triple1)] Erin is red.[(triple3 OR ((triple2) -> rule1))] @1: Erin is furry.[(((triple3 triple2) -> rule8) OR ((((triple2) -> rule1) triple2) -> rule8))] @2: Erin is not round.[(((triple2 ((triple3 triple2) -> rule8)) -> rule4) OR ((triple2 ((((triple2) -> rule1) triple2) -> rule8)) -> rule4))]
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is not green.
("Erin" "is" "green" "-")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple3
((triple2) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple3 triple2) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple2) -> (rule1 % int2)) triple2) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not round.
("Erin" "is" "round" "-")
((triple2 ((triple3 triple2) -> (rule8 % int2))) -> (rule4 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((triple2 ((((triple2) -> (rule1 % int3)) triple2) -> (rule8 % int2))) -> (rule4 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3