Erin is big. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is white. Erin is young. Nice, red people are cold. All cold, red people are green. Green, big people are white. Young, big people are nice. If someone is young and green then they are cold. All green people are nice.
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Nice, red people are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
All cold, red people are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Green, big people are white.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
Young, big people are nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and green then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
All green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Erin is red.
True
1
proof
[(triple5)]
("Erin" "is" "red" "+")
triple5
Erin is not white.
False
1
inv-proof
[(triple6 OR ((triple3 triple1) -> rule3) OR ((((triple2 triple5) -> rule2) triple1) -> rule3) OR ((((((triple4 triple5) -> rule1) triple5) -> rule2) triple1) -> rule3) OR ((((((((triple7 triple1) -> rule4) triple5) -> rule1) triple5) -> rule2) triple1) -> rule3))]
("Erin" "is" "white" "-")
triple6
((triple3 triple1) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple2 triple5) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple4 triple5) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((((triple7 triple1) -> (rule4 % int4)) triple5) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
@0: Erin is big.[(triple1)] Erin is cold.[(triple2 OR ((triple4 triple5) -> rule1) OR ((triple7 triple3) -> rule5) OR ((((triple3) -> rule6) triple5) -> rule1) OR ((((triple7 triple1) -> rule4) triple5) -> rule1))] Erin is green.[(triple3 OR ((triple2 triple5) -> rule2) OR ((((triple4 triple5) -> rule1) triple5) -> rule2) OR ((((((triple7 triple1) -> rule4) triple5) -> rule1) triple5) -> rule2))] Erin is nice.[(triple4 OR ((triple3) -> rule6) OR ((triple7 triple1) -> rule4) OR ((((triple2 triple5) -> rule2)) -> rule6))] Erin is red.[(triple5)] Erin is white.[(triple6 OR ((triple3 triple1) -> rule3) OR ((((triple2 triple5) -> rule2) triple1) -> rule3) OR ((((((triple4 triple5) -> rule1) triple5) -> rule2) triple1) -> rule3) OR ((((((((triple7 triple1) -> rule4) triple5) -> rule1) triple5) -> rule2) triple1) -> rule3))] Erin is young.[(triple7)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
((triple4 triple5) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple7 triple3) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple3) -> (rule6 % int2)) triple5) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple7 triple1) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple3
((triple2 triple5) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple4 triple5) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple7 triple1) -> (rule4 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
((triple3) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple7 triple1) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple2 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
((triple3 triple1) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple2 triple5) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple4 triple5) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((((triple7 triple1) -> (rule4 % int4)) triple5) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
triple7