Erin is cold. Erin is round. Erin is young. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is rough. Gary is not round. Gary is young. If something is cold then it is big. If something is young and not blue then it is green. Big, cold things are green. If something is green and big then it is rough. All blue, cold things are young. If Erin is cold and Erin is blue then Erin is round.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is young.
("Gary" "is" "young" "+")
If something is cold then it is big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is young and not blue then it is green.
((("something" "is" "young" "+") ("something" "is" "blue" "~")) -> ("something" "is" "green" "+"))
Big, cold things are green.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something is green and big then it is rough.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
All blue, cold things are young.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If Erin is cold and Erin is blue then Erin is round.
((("Erin" "is" "cold" "+") ("Erin" "is" "blue" "+")) -> ("Erin" "is" "round" "+"))
Erin is round.
True
1
proof
[(triple2)]
("Erin" "is" "round" "+")
triple2
Erin is not young.
False
1
inv-proof
[(triple3)]
("Erin" "is" "young" "-")
triple3
Erin is big.
True
2
proof
[(((triple1) -> rule1))]
("Erin" "is" "big" "+")
((triple1) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "big" "-")
((triple1) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
True
4
proof
[(((((triple1) -> rule1) triple1) -> rule3))]
("Erin" "is" "green" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is not green.
False
4
inv-proof
[(((((triple1) -> rule1) triple1) -> rule3))]
("Erin" "is" "green" "-")
((((triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
True
7
proof
[(((((((triple1) -> rule1) triple1) -> rule3) ((triple1) -> rule1)) -> rule4))]
("Erin" "is" "rough" "+")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule3 % int2)) ((triple1) -> (rule1 % int3))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is not rough.
False
7
inv-proof
[(((((((triple1) -> rule1) triple1) -> rule3) ((triple1) -> rule1)) -> rule4))]
("Erin" "is" "rough" "-")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule3 % int2)) ((triple1) -> (rule1 % int3))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
@0: Erin is cold.[(triple1)] Erin is round.[(triple2)] Erin is young.[(triple3)] Gary is big.[(triple4 OR ((triple6) -> rule1))] Gary is blue.[(triple5)] Gary is cold.[(triple6)] Gary is green.[(triple7 OR ((triple4 triple6) -> rule3) OR ((((triple6) -> rule1) triple6) -> rule3))] Gary is not round.[(triple9)] Gary is rough.[(triple8 OR ((triple7 triple4) -> rule4) OR ((triple7 ((triple6) -> rule1)) -> rule4) OR ((((triple4 triple6) -> rule3) triple4) -> rule4) OR ((((triple4 triple6) -> rule3) ((triple6) -> rule1)) -> rule4) OR ((((((triple6) -> rule1) triple6) -> rule3) triple4) -> rule4) OR ((((((triple6) -> rule1) triple6) -> rule3) ((triple6) -> rule1)) -> rule4))] Gary is young.[(triple10 OR ((triple5 triple6) -> rule5))] @1: Erin is big.[(((triple1) -> rule1))] @2: Erin is green.[(((((triple1) -> rule1) triple1) -> rule3))] @3: Erin is rough.[(((((((triple1) -> rule1) triple1) -> rule3) ((triple1) -> rule1)) -> rule4))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
((triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
((triple4 triple6) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not round.
("Gary" "is" "round" "-")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
((triple7 triple4) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple7 ((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple4 triple6) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple4 triple6) -> (rule3 % int3)) ((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple6) -> (rule1 % int3)) triple6) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple6) -> (rule1 % int3)) triple6) -> (rule3 % int2)) ((triple6) -> (rule1 % int3))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple10
((triple5 triple6) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple1) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule3 % int2)) ((triple1) -> (rule1 % int3))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3