Fiona is big. Fiona is green. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. If something is big then it is round. If Fiona is big then Fiona is green. Big, green things are white. If something is big then it is green. All round, smart things are green. All big, round things are quiet. If something is green and white then it is big. If something is quiet then it is round.
Fiona is white.
@0: Fiona is big.[(triple1 OR ((triple2 triple6) -> rule7) OR ((((triple4 triple5) -> rule5) triple6) -> rule7) OR ((((((triple3) -> rule8) triple5) -> rule5) triple6) -> rule7))] Fiona is green.[(triple2 OR ((triple1) -> rule2) OR ((triple1) -> rule4) OR ((triple4 triple5) -> rule5) OR ((((triple1) -> rule1) triple5) -> rule5) OR ((((triple3) -> rule8) triple5) -> rule5))] Fiona is quiet.[(triple3 OR ((triple1 triple4) -> rule6) OR ((triple1 ((triple1) -> rule1)) -> rule6) OR ((((triple2 triple6) -> rule7) triple4) -> rule6) OR ((((triple2 triple6) -> rule7) ((triple1) -> rule1)) -> rule6) OR ((triple1 ((((triple2 triple6) -> rule7)) -> rule1)) -> rule6) OR ((((((triple4 triple5) -> rule5) triple6) -> rule7) triple4) -> rule6) OR ((((triple2 triple6) -> rule7) ((((triple2 triple6) -> rule7)) -> rule1)) -> rule6) OR ((((((triple4 triple5) -> rule5) triple6) -> rule7) ((triple1) -> rule1)) -> rule6) OR ((((((triple4 triple5) -> rule5) triple6) -> rule7) ((((triple2 triple6) -> rule7)) -> rule1)) -> rule6))] Fiona is round.[(triple4 OR ((triple1) -> rule1) OR ((triple3) -> rule8) OR ((((triple2 triple6) -> rule7)) -> rule1))] Fiona is smart.[(triple5)] Fiona is white.[(triple6 OR ((triple1 triple2) -> rule3) OR ((triple1 ((triple1) -> rule2)) -> rule3) OR ((triple1 ((triple1) -> rule4)) -> rule3) OR ((triple1 ((triple4 triple5) -> rule5)) -> rule3) OR ((triple1 ((((triple1) -> rule1) triple5) -> rule5)) -> rule3) OR ((triple1 ((((triple3) -> rule8) triple5) -> rule5)) -> rule3))] Fiona is young.[(triple7)]