Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is smart. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is smart. Smart, green people are red. If someone is furry then they are red. If someone is smart then they are big. All red, furry people are big. If someone is red and green then they are smart. If someone is kind then they are big.
Gary is not big.
@0: Charlie is big.[(triple1 OR ((triple5) -> rule6) OR ((triple7) -> rule3) OR ((triple6 triple3) -> rule4) OR ((((triple6 triple4) -> rule5)) -> rule3) OR ((((triple3) -> rule2) triple3) -> rule4) OR ((((triple7 triple4) -> rule1) triple3) -> rule4) OR ((((((triple3) -> rule2) triple4) -> rule5)) -> rule3))] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is red.[(triple6 OR ((triple3) -> rule2) OR ((triple7 triple4) -> rule1))] Charlie is smart.[(triple7 OR ((triple6 triple4) -> rule5) OR ((((triple3) -> rule2) triple4) -> rule5))] Gary is big.[(triple8 OR ((triple12) -> rule6) OR ((triple14) -> rule3) OR ((triple13 triple10) -> rule4) OR ((((triple13 triple11) -> rule5)) -> rule3) OR ((((triple10) -> rule2) triple10) -> rule4) OR ((((triple14 triple11) -> rule1) triple10) -> rule4) OR ((((((triple10) -> rule2) triple11) -> rule5)) -> rule3))] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11)] Gary is kind.[(triple12)] Gary is red.[(triple13 OR ((triple10) -> rule2) OR ((triple14 triple11) -> rule1))] Gary is smart.[(triple14 OR ((triple13 triple11) -> rule5) OR ((((triple10) -> rule2) triple11) -> rule5))]