Charlie is big. Charlie is blue. Charlie is nice. Charlie is white. Fiona is nice. Fiona is red. Fiona is white. All white, blue things are round. All big, kind things are red. All red things are round. Red, white things are round. Nice, round things are big. If Charlie is big and Charlie is kind then Charlie is red. All kind, white things are red. All red, nice things are kind.
Charlie is round.
@0: Charlie is big.[(triple1 OR ((triple3 ((triple4 triple2) -> rule1)) -> rule5))] Charlie is blue.[(triple2)] Charlie is nice.[(triple3)] Charlie is white.[(triple4)] Fiona is nice.[(triple5)] Fiona is red.[(triple6)] Fiona is white.[(triple7)] @1: Charlie is round.[(((triple4 triple2) -> rule1))] Fiona is kind.[(((triple6 triple5) -> rule8))] Fiona is round.[(((triple6) -> rule3) OR ((triple6 triple7) -> rule4))] @2: Fiona is big.[(((triple5 ((triple6) -> rule3)) -> rule5) OR ((triple5 ((triple6 triple7) -> rule4)) -> rule5))]