Anne is big. Erin is big. Erin is cold. Erin is quiet. Erin is rough. Fiona is big. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is smart. Harry is big. Harry is cold. Harry is green. Harry is smart. Green, rough things are cold. If something is rough and smart then it is kind. If something is big then it is kind. All rough things are green. Rough things are big. If Fiona is big then Fiona is green. If something is rough and cold then it is smart. If something is kind then it is smart.
Erin is not quiet.
@0: Anne is big.[(triple1)] Erin is big.[(triple2 OR ((triple5) -> rule5))] Erin is cold.[(triple3 OR ((((triple5) -> rule4) triple5) -> rule1))] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Fiona is big.[(triple6 OR ((triple11) -> rule5))] Fiona is cold.[(triple7 OR ((triple8 triple11) -> rule1) OR ((((triple11) -> rule4) triple11) -> rule1) OR ((((triple6) -> rule6) triple11) -> rule1) OR ((((((triple11) -> rule5)) -> rule6) triple11) -> rule1))] Fiona is green.[(triple8 OR ((triple11) -> rule4) OR ((triple6) -> rule6) OR ((((triple11) -> rule5)) -> rule6))] Fiona is kind.[(triple9 OR ((triple6) -> rule3) OR ((triple11 triple12) -> rule2) OR ((((triple11) -> rule5)) -> rule3) OR ((triple11 ((triple11 triple7) -> rule7)) -> rule2) OR ((triple11 ((triple11 ((triple8 triple11) -> rule1)) -> rule7)) -> rule2) OR ((triple11 ((triple11 ((((triple11) -> rule4) triple11) -> rule1)) -> rule7)) -> rule2) OR ((triple11 ((triple11 ((((triple6) -> rule6) triple11) -> rule1)) -> rule7)) -> rule2) OR ((triple11 ((triple11 ((((((triple11) -> rule5)) -> rule6) triple11) -> rule1)) -> rule7)) -> rule2))] Fiona is quiet.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12 OR ((triple9) -> rule8) OR ((triple11 triple7) -> rule7) OR ((((triple6) -> rule3)) -> rule8) OR ((triple11 ((triple8 triple11) -> rule1)) -> rule7) OR ((((((triple11) -> rule5)) -> rule3)) -> rule8) OR ((triple11 ((((triple11) -> rule4) triple11) -> rule1)) -> rule7) OR ((triple11 ((((triple6) -> rule6) triple11) -> rule1)) -> rule7) OR ((triple11 ((((((triple11) -> rule5)) -> rule6) triple11) -> rule1)) -> rule7))] Harry is big.[(triple13)] Harry is cold.[(triple14)] Harry is green.[(triple15)] Harry is smart.[(triple16 OR ((((triple13) -> rule3)) -> rule8))] @1: Anne is kind.[(((triple1) -> rule3))] Erin is green.[(((triple5) -> rule4))] Erin is kind.[(((triple2) -> rule3) OR ((((triple5) -> rule5)) -> rule3) OR ((triple5 ((triple5 triple3) -> rule7)) -> rule2) OR ((triple5 ((triple5 ((((triple5) -> rule4) triple5) -> rule1)) -> rule7)) -> rule2))] Erin is smart.[(((triple5 triple3) -> rule7) OR ((((triple2) -> rule3)) -> rule8) OR ((((((triple5) -> rule5)) -> rule3)) -> rule8) OR ((triple5 ((((triple5) -> rule4) triple5) -> rule1)) -> rule7))] Harry is kind.[(((triple13) -> rule3))] @2: Anne is smart.[(((((triple1) -> rule3)) -> rule8))]