Charlie is blue. Charlie is nice. Charlie is red. Charlie is round. Dave is big. Erin is big. Erin is cold. All cold, red things are blue. If Erin is blue then Erin is nice. If Erin is big then Erin is red. All blue things are nice. All big, nice things are red. All blue things are young. All big, cold things are red. All round things are big.
Charlie is not big.
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple2 OR ((triple1) -> rule4))] Charlie is red.[(triple3 OR ((((triple4) -> rule8) triple2) -> rule5) OR ((((triple4) -> rule8) ((triple1) -> rule4)) -> rule5))] Charlie is round.[(triple4)] Dave is big.[(triple5)] Erin is big.[(triple6)] Erin is cold.[(triple7)] @1: Charlie is big.[(((triple4) -> rule8))] Charlie is young.[(((triple1) -> rule6))] Erin is red.[(((triple6) -> rule3) OR ((triple6 triple7) -> rule7))] @2: Erin is blue.[(((triple7 ((triple6) -> rule3)) -> rule1) OR ((triple7 ((triple6 triple7) -> rule7)) -> rule1))] @3: Erin is nice.[(((((triple7 ((triple6) -> rule3)) -> rule1)) -> rule2) OR ((((triple7 ((triple6) -> rule3)) -> rule1)) -> rule4) OR ((((triple7 ((triple6 triple7) -> rule7)) -> rule1)) -> rule2) OR ((((triple7 ((triple6 triple7) -> rule7)) -> rule1)) -> rule4))] Erin is young.[(((((triple7 ((triple6) -> rule3)) -> rule1)) -> rule6) OR ((((triple7 ((triple6 triple7) -> rule7)) -> rule1)) -> rule6))]