Fiona is big. Fiona is blue. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is young. Gary is blue. Gary is quiet. Gary is rough. Gary is young. If something is round then it is big. Rough, quiet things are blue. If Gary is smart and Gary is round then Gary is blue. All young things are round. All smart, big things are quiet. Big, quiet things are blue. Round, big things are blue. Smart, blue things are rough.
Gary is round.
@0: Fiona is big.[(triple1 OR ((triple4) -> rule1) OR ((((triple6) -> rule4)) -> rule1))] Fiona is blue.[(triple2 OR ((triple1 triple3) -> rule6) OR ((triple4 triple1) -> rule7) OR ((triple1 ((triple5 triple1) -> rule5)) -> rule6) OR ((triple4 ((triple4) -> rule1)) -> rule7) OR ((((triple4) -> rule1) triple3) -> rule6) OR ((((triple6) -> rule4) triple1) -> rule7) OR ((((triple4) -> rule1) ((triple5 triple1) -> rule5)) -> rule6) OR ((((triple6) -> rule4) ((triple4) -> rule1)) -> rule7) OR ((triple1 ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule6) OR ((triple4 ((((triple6) -> rule4)) -> rule1)) -> rule7) OR ((((((triple6) -> rule4)) -> rule1) triple3) -> rule6) OR ((((triple4) -> rule1) ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule6) OR ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule7) OR ((((((triple6) -> rule4)) -> rule1) ((triple5 triple1) -> rule5)) -> rule6) OR ((((((triple6) -> rule4)) -> rule1) ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule6) OR ((triple1 ((triple5 ((((triple6) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((triple4) -> rule1) ((triple5 ((((triple6) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple6) -> rule4)) -> rule1) ((triple5 ((((triple6) -> rule4)) -> rule1)) -> rule5)) -> rule6))] Fiona is quiet.[(triple3 OR ((triple5 triple1) -> rule5) OR ((triple5 ((triple4) -> rule1)) -> rule5) OR ((triple5 ((((triple6) -> rule4)) -> rule1)) -> rule5))] Fiona is round.[(triple4 OR ((triple6) -> rule4))] Fiona is smart.[(triple5)] Fiona is young.[(triple6)] Gary is blue.[(triple7 OR ((triple9 triple8) -> rule2) OR ((((((triple10) -> rule4)) -> rule1) triple8) -> rule6) OR ((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule1)) -> rule7))] Gary is quiet.[(triple8)] Gary is rough.[(triple9)] Gary is young.[(triple10)] @1: Fiona is rough.[(((triple5 triple2) -> rule8) OR ((triple5 ((triple1 triple3) -> rule6)) -> rule8) OR ((triple5 ((triple4 triple1) -> rule7)) -> rule8) OR ((triple5 ((triple1 ((triple5 triple1) -> rule5)) -> rule6)) -> rule8) OR ((triple5 ((triple4 ((triple4) -> rule1)) -> rule7)) -> rule8) OR ((triple5 ((((triple4) -> rule1) triple3) -> rule6)) -> rule8) OR ((triple5 ((((triple6) -> rule4) triple1) -> rule7)) -> rule8) OR ((triple5 ((((triple4) -> rule1) ((triple5 triple1) -> rule5)) -> rule6)) -> rule8) OR ((triple5 ((((triple6) -> rule4) ((triple4) -> rule1)) -> rule7)) -> rule8) OR ((triple5 ((triple1 ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule6)) -> rule8) OR ((triple5 ((triple4 ((((triple6) -> rule4)) -> rule1)) -> rule7)) -> rule8) OR ((triple5 ((((((triple6) -> rule4)) -> rule1) triple3) -> rule6)) -> rule8) OR ((triple5 ((((triple4) -> rule1) ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule6)) -> rule8) OR ((triple5 ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule7)) -> rule8) OR ((triple5 ((((((triple6) -> rule4)) -> rule1) ((triple5 triple1) -> rule5)) -> rule6)) -> rule8) OR ((triple5 ((((((triple6) -> rule4)) -> rule1) ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule6)) -> rule8) OR ((triple5 ((triple1 ((triple5 ((((triple6) -> rule4)) -> rule1)) -> rule5)) -> rule6)) -> rule8) OR ((triple5 ((((triple4) -> rule1) ((triple5 ((((triple6) -> rule4)) -> rule1)) -> rule5)) -> rule6)) -> rule8) OR ((triple5 ((((((triple6) -> rule4)) -> rule1) ((triple5 ((((triple6) -> rule4)) -> rule1)) -> rule5)) -> rule6)) -> rule8))] Gary is round.[(((triple10) -> rule4))] @2: Gary is big.[(((((triple10) -> rule4)) -> rule1))]