Erin is nice. Erin is round. Erin is smart. Erin is white. Gary is furry. Gary is red. Gary is smart. Furry, nice things are round. If something is nice and furry then it is cold. If Gary is round then Gary is white. If something is furry then it is white. All smart things are red. If Gary is red and Gary is cold then Gary is white. If something is red and nice then it is furry. If something is nice and white then it is furry.
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Furry, nice things are round.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If something is nice and furry then it is cold.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If Gary is round then Gary is white.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "white" "+"))
If something is furry then it is white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
All smart things are red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
If Gary is red and Gary is cold then Gary is white.
((("Gary" "is" "red" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "white" "+"))
If something is red and nice then it is furry.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If something is nice and white then it is furry.
((("something" "is" "nice" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Gary is furry.
True
1
proof
[(triple5)]
("Gary" "is" "furry" "+")
triple5
Erin is not nice.
False
1
inv-proof
[(triple1)]
("Erin" "is" "nice" "-")
triple1
Erin is red.
True
2
proof
[(((triple3) -> rule5))]
("Erin" "is" "red" "+")
((triple3) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple3) -> rule5))]
("Erin" "is" "red" "-")
((triple3) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
True
5
proof
[(((triple1 ((triple1 triple4) -> rule8)) -> rule2) OR ((triple1 ((((triple3) -> rule5) triple1) -> rule7)) -> rule2))]
("Erin" "is" "cold" "+")
((triple1 ((triple1 triple4) -> (rule8 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((triple1 ((((triple3) -> (rule5 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is not cold.
False
5
inv-proof
[(((triple1 ((triple1 triple4) -> rule8)) -> rule2) OR ((triple1 ((((triple3) -> rule5) triple1) -> rule7)) -> rule2))]
("Erin" "is" "cold" "-")
((triple1 ((triple1 triple4) -> (rule8 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((triple1 ((((triple3) -> (rule5 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "+")
@0: Erin is nice.[(triple1)] Erin is round.[(triple2 OR ((((triple1 triple4) -> rule8) triple1) -> rule1) OR ((((((triple3) -> rule5) triple1) -> rule7) triple1) -> rule1))] Erin is smart.[(triple3)] Erin is white.[(triple4 OR ((((((triple3) -> rule5) triple1) -> rule7)) -> rule4))] Gary is furry.[(triple5)] Gary is red.[(triple6 OR ((triple7) -> rule5))] Gary is smart.[(triple7)] @1: Erin is furry.[(((triple1 triple4) -> rule8) OR ((((triple3) -> rule5) triple1) -> rule7))] Erin is red.[(((triple3) -> rule5))] Gary is white.[(((triple5) -> rule4))] @2: Erin is cold.[(((triple1 ((triple1 triple4) -> rule8)) -> rule2) OR ((triple1 ((((triple3) -> rule5) triple1) -> rule7)) -> rule2))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
((((triple1 triple4) -> (rule8 % int2)) triple1) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((((triple3) -> (rule5 % int3)) triple1) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
((((((triple3) -> (rule5 % int3)) triple1) -> (rule7 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
((triple7) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
((triple1 triple4) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple3) -> (rule5 % int2)) triple1) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((triple3) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple5) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple1 ((triple1 triple4) -> (rule8 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((triple1 ((((triple3) -> (rule5 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3