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