Charlie is rough. Fiona is blue. If someone is blue and rough then they are white. Red, rough people are kind. If someone is rough then they are not kind. If Fiona is rough and Fiona is kind then Fiona is big. If someone is round and not rough then they are red. If Fiona is big and Fiona is red then Fiona is not kind. If Charlie is big then Charlie is blue. Rough people are big.
Fiona is not rough.
@0: Charlie is rough.[(triple1)] Fiona is blue.[(triple2)] @1: Charlie is big.[(((triple1) -> rule8))] Charlie is not kind.[(((triple1) -> rule3))] @2: Charlie is blue.[(((((triple1) -> rule8)) -> rule7))] @3: Charlie is white.[(((((((triple1) -> rule8)) -> rule7) triple1) -> rule1))]