Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. If something is red and white then it is rough. Rough, white things are blue. If Fiona is rough and Fiona is furry then Fiona is nice. If something is white and quiet then it is rough. If something is white and red then it is rough. If something is blue then it is rough. If Fiona is nice then Fiona is quiet. Furry, rough things are blue.
Fiona is white.
@0: Fiona is blue.[(triple1 OR ((triple2 triple6) -> rule8) OR ((triple6 triple7) -> rule2) OR ((triple2 ((triple5 triple7) -> rule1)) -> rule8) OR ((triple2 ((triple7 triple4) -> rule4)) -> rule8) OR ((triple2 ((triple7 triple5) -> rule5)) -> rule8) OR ((((triple5 triple7) -> rule1) triple7) -> rule2) OR ((((triple7 triple4) -> rule4) triple7) -> rule2) OR ((((triple7 triple5) -> rule5) triple7) -> rule2) OR ((triple2 ((triple7 ((triple3) -> rule7)) -> rule4)) -> rule8) OR ((((triple7 ((triple3) -> rule7)) -> rule4) triple7) -> rule2))] Fiona is furry.[(triple2)] Fiona is nice.[(triple3 OR ((triple6 triple2) -> rule3) OR ((((triple1) -> rule6) triple2) -> rule3) OR ((((triple5 triple7) -> rule1) triple2) -> rule3) OR ((((triple7 triple4) -> rule4) triple2) -> rule3) OR ((((triple7 triple5) -> rule5) triple2) -> rule3))] Fiona is quiet.[(triple4 OR ((triple3) -> rule7) OR ((((triple6 triple2) -> rule3)) -> rule7) OR ((((((triple1) -> rule6) triple2) -> rule3)) -> rule7) OR ((((((triple5 triple7) -> rule1) triple2) -> rule3)) -> rule7) OR ((((((triple7 triple5) -> rule5) triple2) -> rule3)) -> rule7))] Fiona is red.[(triple5)] Fiona is rough.[(triple6 OR ((triple1) -> rule6) OR ((triple5 triple7) -> rule1) OR ((triple7 triple4) -> rule4) OR ((triple7 triple5) -> rule5) OR ((triple7 ((triple3) -> rule7)) -> rule4))] Fiona is white.[(triple7)]