Fiona is green. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. Gary is green. Gary is nice. Gary is quiet. Gary is round. Gary is smart. Gary is white. Gary is young. All white things are quiet. If Fiona is smart then Fiona is young. All smart, round things are young. All green, white things are round. If something is nice then it is green. If something is young and white then it is nice.
Fiona is quiet.
@0: Fiona is green.[(triple1 OR ((triple2) -> rule5) OR ((((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple5) -> rule2) triple6) -> rule6)) -> rule5) OR ((((((triple5 triple4) -> rule3) triple6) -> rule6)) -> rule5))] Fiona is nice.[(triple2 OR ((triple7 triple6) -> rule6) OR ((((triple5) -> rule2) triple6) -> rule6) OR ((((triple5 triple4) -> rule3) triple6) -> rule6) OR ((((triple5 ((triple1 triple6) -> rule4)) -> rule3) triple6) -> rule6))] Fiona is quiet.[(triple3 OR ((triple6) -> rule1))] Fiona is round.[(triple4 OR ((triple1 triple6) -> rule4) OR ((((triple2) -> rule5) triple6) -> rule4) OR ((((((triple7 triple6) -> rule6)) -> rule5) triple6) -> rule4) OR ((((((((triple5) -> rule2) triple6) -> rule6)) -> rule5) triple6) -> rule4))] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7 OR ((triple5) -> rule2) OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple1 triple6) -> rule4)) -> rule3) OR ((triple5 ((((triple2) -> rule5) triple6) -> rule4)) -> rule3))] Gary is green.[(triple8 OR ((triple9) -> rule5) OR ((((triple14 triple13) -> rule6)) -> rule5) OR ((((((triple12 triple11) -> rule3) triple13) -> rule6)) -> rule5))] Gary is nice.[(triple9 OR ((triple14 triple13) -> rule6) OR ((((triple12 triple11) -> rule3) triple13) -> rule6) OR ((((triple12 ((triple8 triple13) -> rule4)) -> rule3) triple13) -> rule6))] Gary is quiet.[(triple10 OR ((triple13) -> rule1))] Gary is round.[(triple11 OR ((triple8 triple13) -> rule4) OR ((((triple9) -> rule5) triple13) -> rule4) OR ((((((triple14 triple13) -> rule6)) -> rule5) triple13) -> rule4))] Gary is smart.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14 OR ((triple12 triple11) -> rule3) OR ((triple12 ((triple8 triple13) -> rule4)) -> rule3) OR ((triple12 ((((triple9) -> rule5) triple13) -> rule4)) -> rule3))]