Bob is not blue. Bob is nice. Bob is red. Charlie is blue. Charlie is round. Erin is nice. Erin is round. Erin is smart. Gary is blue. Gary is cold. Gary is nice. Gary is smart. Blue, red people are nice. All round, big people are nice. If someone is round then they are big. Big people are round. Nice, round people are smart. Smart, blue people are red. All red, smart people are cold. If someone is nice and not red then they are cold.
Charlie is smart.
@0: Bob is nice.[(triple2)] Bob is not blue.[(triple1)] Bob is red.[(triple3)] Charlie is blue.[(triple4)] Charlie is round.[(triple5)] Erin is nice.[(triple6 OR ((triple7 ((triple7) -> rule3)) -> rule2))] Erin is round.[(triple7)] Erin is smart.[(triple8 OR ((triple6 triple7) -> rule5) OR ((((triple7 ((triple7) -> rule3)) -> rule2) triple7) -> rule5))] Gary is blue.[(triple9)] Gary is cold.[(triple10 OR ((((triple12 triple9) -> rule6) triple12) -> rule7))] Gary is nice.[(triple11 OR ((triple9 ((triple12 triple9) -> rule6)) -> rule1))] Gary is smart.[(triple12)] @1: Charlie is big.[(((triple5) -> rule3))] Erin is big.[(((triple7) -> rule3))] Gary is red.[(((triple12 triple9) -> rule6))] @2: Charlie is nice.[(((triple5 ((triple5) -> rule3)) -> rule2))] @3: Charlie is smart.[(((((triple5 ((triple5) -> rule3)) -> rule2) triple5) -> rule5))] @4: Charlie is red.[(((((((triple5 ((triple5) -> rule3)) -> rule2) triple5) -> rule5) triple4) -> rule6))] @5: Charlie is cold.[(((((((((triple5 ((triple5) -> rule3)) -> rule2) triple5) -> rule5) triple4) -> rule6) ((((triple5 ((triple5) -> rule3)) -> rule2) triple5) -> rule5)) -> rule7))]