Fiona is big. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. If Fiona is quiet and Fiona is red then Fiona is round. If someone is quiet and cold then they are green. If Fiona is quiet and Fiona is big then Fiona is round. All big people are cold. All cold people are rough. All big people are cold. Round, quiet people are red. If someone is green and quiet then they are red.
Fiona is quiet.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2 OR ((triple1) -> rule4) OR ((triple1) -> rule6))] Fiona is green.[(triple3 OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple1) -> rule4)) -> rule2) OR ((triple4 ((triple1) -> rule6)) -> rule2))] Fiona is quiet.[(triple4)] Fiona is red.[(triple5 OR ((triple3 triple4) -> rule8) OR ((triple7 triple4) -> rule7) OR ((((triple4 triple1) -> rule3) triple4) -> rule7) OR ((((triple4 triple2) -> rule2) triple4) -> rule8) OR ((((triple4 ((triple1) -> rule4)) -> rule2) triple4) -> rule8) OR ((((triple4 ((triple1) -> rule6)) -> rule2) triple4) -> rule8))] Fiona is rough.[(triple6 OR ((triple2) -> rule5) OR ((((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule6)) -> rule5))] Fiona is round.[(triple7 OR ((triple4 triple1) -> rule3) OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple3 triple4) -> rule8)) -> rule1) OR ((triple4 ((((triple4 triple2) -> rule2) triple4) -> rule8)) -> rule1) OR ((triple4 ((((triple4 ((triple1) -> rule4)) -> rule2) triple4) -> rule8)) -> rule1) OR ((triple4 ((((triple4 ((triple1) -> rule6)) -> rule2) triple4) -> rule8)) -> rule1))]