Erin is white. If someone is cold then they are kind. White people are cold. Kind people are furry. If someone is round then they are furry. If Erin is furry and Erin is cold then Erin is quiet. All furry, quiet people are round.
Erin is white.
("Erin" "is" "white" "+")
If someone is cold then they are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
White people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Kind people are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If someone is round then they are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
If Erin is furry and Erin is cold then Erin is quiet.
((("Erin" "is" "furry" "+") ("Erin" "is" "cold" "+")) -> ("Erin" "is" "quiet" "+"))
All furry, quiet people are round.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
Erin is white.
True
1
proof
[(triple1)]
("Erin" "is" "white" "+")
triple1
Erin is not white.
False
1
inv-proof
[(triple1)]
("Erin" "is" "white" "-")
triple1
Erin is cold.
True
2
proof
[(((triple1) -> rule2))]
("Erin" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple1) -> rule2))]
("Erin" "is" "cold" "-")
((triple1) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Erin" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not kind.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("Erin" "is" "kind" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
@0: Erin is white.[(triple1)] @1: Erin is cold.[(((triple1) -> rule2))] @2: Erin is kind.[(((((triple1) -> rule2)) -> rule1))] @3: Erin is furry.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))] @4: Erin is quiet.[(((((((((triple1) -> rule2)) -> rule1)) -> rule3) ((triple1) -> rule2)) -> rule5))] @5: Erin is round.[(((((((((triple1) -> rule2)) -> rule1)) -> rule3) ((((((((triple1) -> rule2)) -> rule1)) -> rule3) ((triple1) -> rule2)) -> rule5)) -> rule6))]
Erin is white.
("Erin" "is" "white" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((((((((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple1) -> (rule2 % int4))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
((((((((triple1) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((((((triple1) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple1) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5