Erin is big. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is young. Fiona is big. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is young. Harry is cold. Harry is nice. If Erin is smart and Erin is cold then Erin is green. If someone is young then they are cold. Young people are quiet. If Fiona is young then Fiona is quiet. All young, green people are smart. If someone is young and smart then they are cold. If someone is green and big then they are smart. All nice people are big.
Harry is not smart.
@0: Erin is big.[(triple1 OR ((triple4) -> rule8))] Erin is cold.[(triple2 OR ((triple6) -> rule2) OR ((triple6 ((triple3 triple1) -> rule7)) -> rule6) OR ((triple6 ((triple6 triple3) -> rule5)) -> rule6) OR ((triple6 ((triple3 ((triple4) -> rule8)) -> rule7)) -> rule6))] Erin is green.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5 OR ((triple6) -> rule3))] Erin is young.[(triple6)] Fiona is big.[(triple7 OR ((triple10) -> rule8))] Fiona is cold.[(triple8 OR ((triple13) -> rule2) OR ((triple13 triple12) -> rule6) OR ((triple13 ((triple13 triple9) -> rule5)) -> rule6) OR ((triple13 ((triple9 triple7) -> rule7)) -> rule6) OR ((triple13 ((triple9 ((triple10) -> rule8)) -> rule7)) -> rule6))] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11 OR ((triple13) -> rule3) OR ((triple13) -> rule4))] Fiona is smart.[(triple12 OR ((triple13 triple9) -> rule5) OR ((triple9 triple7) -> rule7) OR ((triple9 ((triple10) -> rule8)) -> rule7))] Fiona is young.[(triple13)] Harry is cold.[(triple14)] Harry is nice.[(triple15)] @1: Erin is smart.[(((triple3 triple1) -> rule7) OR ((triple6 triple3) -> rule5) OR ((triple3 ((triple4) -> rule8)) -> rule7))] Harry is big.[(((triple15) -> rule8))]