Erin is cold. Erin is white. Erin is young. If someone is blue then they are furry. All furry people are cold. Round, quiet people are white. All cold people are round. If Erin is blue and Erin is quiet then Erin is round. All round people are blue. If someone is round then they are white. All blue people are cold.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is blue then they are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
All furry people are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Round, quiet people are white.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If Erin is blue and Erin is quiet then Erin is round.
((("Erin" "is" "blue" "+") ("Erin" "is" "quiet" "+")) -> ("Erin" "is" "round" "+"))
All round people are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round then they are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Erin is cold.
True
1
proof
[(triple1)]
("Erin" "is" "cold" "+")
triple1
Erin is not young.
False
1
inv-proof
[(triple3)]
("Erin" "is" "young" "-")
triple3
Erin is round.
True
2
proof
[(((triple1) -> rule4))]
("Erin" "is" "round" "+")
((triple1) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple1) -> rule4))]
("Erin" "is" "round" "-")
((triple1) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
True
3
proof
[(((((triple1) -> rule4)) -> rule6))]
("Erin" "is" "blue" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is not blue.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule6))]
("Erin" "is" "blue" "-")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
True
4
proof
[(((((((triple1) -> rule4)) -> rule6)) -> rule1))]
("Erin" "is" "furry" "+")
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is not furry.
False
4
inv-proof
[(((((((triple1) -> rule4)) -> rule6)) -> rule1))]
("Erin" "is" "furry" "-")
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
@0: Erin is cold.[(triple1)] Erin is white.[(triple2 OR ((((triple1) -> rule4)) -> rule7))] Erin is young.[(triple3)] @1: Erin is round.[(((triple1) -> rule4))] @2: Erin is blue.[(((((triple1) -> rule4)) -> rule6))] @3: Erin is furry.[(((((((triple1) -> rule4)) -> rule6)) -> rule1))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
((triple1) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3