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