Charlie is big. Charlie is nice. Fiona is quiet. Fiona is round. Gary is big. Gary is quiet. Gary is rough. Big things are rough. Big things are quiet. All big, nice things are quiet. If Gary is quiet and Gary is young then Gary is nice. Rough things are red. If Charlie is young and Charlie is quiet then Charlie is big. If something is nice then it is round. If something is rough and big then it is nice.
Gary is young.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2 OR ((((triple1) -> rule1) triple1) -> rule8))] Fiona is quiet.[(triple3)] Fiona is round.[(triple4)] Gary is big.[(triple5)] Gary is quiet.[(triple6 OR ((triple5) -> rule2) OR ((triple5 ((triple7 triple5) -> rule8)) -> rule3) OR ((triple5 ((((triple5) -> rule1) triple5) -> rule8)) -> rule3))] Gary is rough.[(triple7 OR ((triple5) -> rule1))] @1: Charlie is quiet.[(((triple1) -> rule2) OR ((triple1 triple2) -> rule3) OR ((triple1 ((((triple1) -> rule1) triple1) -> rule8)) -> rule3))] Charlie is rough.[(((triple1) -> rule1))] Charlie is round.[(((triple2) -> rule7) OR ((((((triple1) -> rule1) triple1) -> rule8)) -> rule7))] Gary is nice.[(((triple7 triple5) -> rule8) OR ((((triple5) -> rule1) triple5) -> rule8))] Gary is red.[(((triple7) -> rule5) OR ((((triple5) -> rule1)) -> rule5))] @2: Charlie is red.[(((((triple1) -> rule1)) -> rule5))] Gary is round.[(((((triple7 triple5) -> rule8)) -> rule7) OR ((((((triple5) -> rule1) triple5) -> rule8)) -> rule7))]