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