Erin is big. Erin is cold. Erin is red. Red people are young. If Erin is big then Erin is white. If someone is young and cold then they are blue. If someone is young and white then they are blue. Blue people are smart. If someone is big and smart then they are blue.
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If Erin is big then Erin is white.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "white" "+"))
If someone is young and cold then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and white then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Blue people are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If someone is big and smart then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Erin is cold.
True
1
proof
[(triple2)]
("Erin" "is" "cold" "+")
triple2
Erin is not cold.
False
1
inv-proof
[(triple2)]
("Erin" "is" "cold" "-")
triple2
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is red.[(triple3)] @1: Erin is white.[(((triple1) -> rule2))] Erin is young.[(((triple3) -> rule1))] @2: Erin is blue.[(((((triple3) -> rule1) triple2) -> rule3) OR ((((triple3) -> rule1) ((triple1) -> rule2)) -> rule4))] @3: Erin is smart.[(((((((triple3) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple3) -> rule1) ((triple1) -> rule2)) -> rule4)) -> rule5))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
((triple1) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple3) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((((triple3) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple3) -> (rule1 % int3)) ((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple3) -> (rule1 % int3)) triple2) -> (rule3 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple3) -> (rule1 % int4)) ((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4