Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Furry, blue people are round. If someone is rough then they are round. All furry, smart people are red. If Fiona is round then Fiona is furry. Furry, smart people are red. If someone is red and round then they are blue.
Fiona is not rough.
@0: Fiona is blue.[(triple1 OR ((triple4 triple6) -> rule6) OR ((triple4 ((triple5) -> rule2)) -> rule6) OR ((((triple2 triple7) -> rule3) triple6) -> rule6) OR ((((triple2 triple7) -> rule5) triple6) -> rule6) OR ((((triple2 triple7) -> rule3) ((triple5) -> rule2)) -> rule6) OR ((((triple2 triple7) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule3) triple6) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule5) triple6) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule3) ((triple5) -> rule2)) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4) triple7) -> rule3) triple6) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4) triple7) -> rule5) triple6) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4) triple7) -> rule3) ((triple5) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4) triple7) -> rule5) ((triple5) -> rule2)) -> rule6))] Fiona is furry.[(triple2 OR ((triple6) -> rule4) OR ((((triple5) -> rule2)) -> rule4))] Fiona is quiet.[(triple3)] Fiona is red.[(triple4 OR ((triple2 triple7) -> rule3) OR ((triple2 triple7) -> rule5) OR ((((triple6) -> rule4) triple7) -> rule3) OR ((((triple6) -> rule4) triple7) -> rule5) OR ((((((triple5) -> rule2)) -> rule4) triple7) -> rule3) OR ((((((triple5) -> rule2)) -> rule4) triple7) -> rule5))] Fiona is rough.[(triple5)] Fiona is round.[(triple6 OR ((triple5) -> rule2) OR ((triple2 triple1) -> rule1))] Fiona is smart.[(triple7)]