Charlie is big. Charlie is blue. Charlie is young. Erin is cold. Erin is furry. Erin is red. Fiona is cold. Fiona is smart. Fiona is young. Gary is big. Gary is red. Gary is young. Big, red people are not smart. If someone is blue and cold then they are young. Blue people are cold. If Charlie is big then Charlie is smart. If someone is red and not furry then they are not big. If Erin is not smart then Erin is not young.
Gary is not cold.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is young.[(triple3 OR ((triple2 ((triple2) -> rule3)) -> rule2))] Erin is cold.[(triple4)] Erin is furry.[(triple5)] Erin is red.[(triple6)] Fiona is cold.[(triple7)] Fiona is smart.[(triple8)] Fiona is young.[(triple9)] Gary is big.[(triple10)] Gary is red.[(triple11)] Gary is young.[(triple12)] @1: Charlie is cold.[(((triple2) -> rule3))] Charlie is smart.[(((triple1) -> rule4))] Gary is not smart.[(((triple10 triple11) -> rule1))]