Fiona is big. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is smart. Nice, big things are quiet. If something is big then it is smart. If something is big then it is red. All blue, big things are smart. If Fiona is kind then Fiona is quiet. All kind, blue things are quiet.
Fiona is nice.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5 OR ((triple3) -> rule5) OR ((triple3 triple2) -> rule6) OR ((triple4 triple1) -> rule1))] Fiona is red.[(triple6 OR ((triple1) -> rule3))] Fiona is smart.[(triple7 OR ((triple1) -> rule2) OR ((triple2 triple1) -> rule4))] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is smart.[(triple12 OR ((triple8) -> rule2) OR ((triple9 triple8) -> rule4))] @1: Gary is quiet.[(((triple10 triple9) -> rule6) OR ((triple11 triple8) -> rule1))] Gary is red.[(((triple8) -> rule3))]