Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Erin is rough. Nice things are kind. If something is cold then it is kind. All blue things are quiet. Kind, big things are nice. If Erin is rough then Erin is quiet. All rough things are nice. Nice, big things are rough. If something is rough then it is blue.
Erin is not rough.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple7) -> rule8) OR ((((triple5 triple1) -> rule7)) -> rule8) OR ((((((triple4 triple1) -> rule4) triple1) -> rule7)) -> rule8) OR ((((((((triple3) -> rule2) triple1) -> rule4) triple1) -> rule7)) -> rule8))] Erin is cold.[(triple3)] Erin is kind.[(triple4 OR ((triple3) -> rule2) OR ((triple5) -> rule1) OR ((((triple7) -> rule6)) -> rule1))] Erin is nice.[(triple5 OR ((triple7) -> rule6) OR ((triple4 triple1) -> rule4) OR ((((triple3) -> rule2) triple1) -> rule4))] Erin is quiet.[(triple6 OR ((triple2) -> rule3) OR ((triple7) -> rule5) OR ((((triple7) -> rule8)) -> rule3) OR ((((triple5 triple1) -> rule7)) -> rule5) OR ((((((triple5 triple1) -> rule7)) -> rule8)) -> rule3) OR ((((((triple4 triple1) -> rule4) triple1) -> rule7)) -> rule5) OR ((((((((triple4 triple1) -> rule4) triple1) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple3) -> rule2) triple1) -> rule4) triple1) -> rule7)) -> rule5) OR ((((((((((triple3) -> rule2) triple1) -> rule4) triple1) -> rule7)) -> rule8)) -> rule3))] Erin is rough.[(triple7 OR ((triple5 triple1) -> rule7) OR ((((triple4 triple1) -> rule4) triple1) -> rule7) OR ((((((triple3) -> rule2) triple1) -> rule4) triple1) -> rule7))]