Anne is quiet. Charlie is blue. Charlie is kind. Charlie is quiet. Fiona is kind. Fiona is smart. Gary is green. Nice, blue things are kind. All kind things are blue. Blue, smart things are nice. All kind things are nice. Big, kind things are quiet. If Fiona is green and Fiona is nice then Fiona is quiet. If something is nice then it is big. Blue things are big.
Fiona is nice.
@0: Anne is quiet.[(triple1)] Charlie is blue.[(triple2 OR ((triple3) -> rule2))] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4 OR ((((triple2) -> rule8) triple3) -> rule5) OR ((((((triple3) -> rule2)) -> rule8) triple3) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) triple3) -> rule5))] Fiona is kind.[(triple5)] Fiona is smart.[(triple6)] Gary is green.[(triple7)] @1: Charlie is big.[(((triple2) -> rule8) OR ((((triple3) -> rule2)) -> rule8) OR ((((triple3) -> rule4)) -> rule7))] Charlie is nice.[(((triple3) -> rule4))] Fiona is blue.[(((triple5) -> rule2))] Fiona is nice.[(((triple5) -> rule4) OR ((((triple5) -> rule2) triple6) -> rule3))] @2: Fiona is big.[(((((triple5) -> rule2)) -> rule8) OR ((((triple5) -> rule4)) -> rule7) OR ((((((triple5) -> rule2) triple6) -> rule3)) -> rule7))] @3: Fiona is quiet.[(((((((triple5) -> rule2)) -> rule8) triple5) -> rule5) OR ((((((triple5) -> rule4)) -> rule7) triple5) -> rule5) OR ((((((((triple5) -> rule2) triple6) -> rule3)) -> rule7) triple5) -> rule5))]