Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is red. Erin is rough. Erin is round. Cold, nice people are big. If someone is nice and cold then they are red. Round people are cold. Furry people are big. If someone is furry then they are rough. If Erin is rough then Erin is round. If Erin is red then Erin is big. Furry, red people are big.
Erin is furry.
@0: Erin is big.[(triple1 OR ((triple3) -> rule4) OR ((triple5) -> rule7) OR ((triple2 triple4) -> rule1) OR ((triple3 triple5) -> rule8) OR ((((triple4 triple2) -> rule2)) -> rule7) OR ((triple3 ((triple4 triple2) -> rule2)) -> rule8) OR ((((triple7) -> rule3) triple4) -> rule1) OR ((((triple4 ((triple7) -> rule3)) -> rule2)) -> rule7) OR ((triple3 ((triple4 ((triple7) -> rule3)) -> rule2)) -> rule8) OR ((((((triple6) -> rule6)) -> rule3) triple4) -> rule1) OR ((((triple4 ((((triple6) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((triple3 ((triple4 ((((triple6) -> rule6)) -> rule3)) -> rule2)) -> rule8) OR ((((((((triple3) -> rule5)) -> rule6)) -> rule3) triple4) -> rule1) OR ((((triple4 ((((((triple3) -> rule5)) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((triple3 ((triple4 ((((((triple3) -> rule5)) -> rule6)) -> rule3)) -> rule2)) -> rule8))] Erin is cold.[(triple2 OR ((triple7) -> rule3) OR ((((triple6) -> rule6)) -> rule3) OR ((((((triple3) -> rule5)) -> rule6)) -> rule3))] Erin is furry.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5 OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple7) -> rule3)) -> rule2) OR ((triple4 ((((triple6) -> rule6)) -> rule3)) -> rule2) OR ((triple4 ((((((triple3) -> rule5)) -> rule6)) -> rule3)) -> rule2))] Erin is rough.[(triple6 OR ((triple3) -> rule5))] Erin is round.[(triple7 OR ((triple6) -> rule6) OR ((((triple3) -> rule5)) -> rule6))]