Charlie is blue. Charlie is cold. Charlie is kind. Charlie is red. Erin is big. Fiona is big. Fiona is blue. Red things are blue. Red things are cold. If something is kind and red then it is nice. If Fiona is red and Fiona is big then Fiona is blue. Nice things are red. If Charlie is blue and Charlie is big then Charlie is red. All cold things are kind. All nice things are cold.
Fiona is not blue.
@0: Charlie is blue.[(triple1 OR ((triple4) -> rule1))] Charlie is cold.[(triple2 OR ((triple4) -> rule2) OR ((((triple3 triple4) -> rule3)) -> rule8))] Charlie is kind.[(triple3 OR ((triple2) -> rule7) OR ((((triple4) -> rule2)) -> rule7))] Charlie is red.[(triple4)] Erin is big.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] @1: Charlie is nice.[(((triple3 triple4) -> rule3) OR ((((triple2) -> rule7) triple4) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) triple4) -> rule3))]