Fiona is blue. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is red. Fiona is smart. Fiona is young. If Fiona is red then Fiona is blue. If something is smart then it is young. If Fiona is nice and Fiona is furry then Fiona is blue. If something is young and nice then it is red. If something is red and blue then it is furry. If something is nice and smart then it is young.
Fiona is red.
@0: Fiona is blue.[(triple1 OR ((triple5) -> rule1) OR ((triple4 triple3) -> rule3) OR ((((triple7 triple4) -> rule4)) -> rule1) OR ((((((triple6) -> rule2) triple4) -> rule4)) -> rule1) OR ((((((triple4 triple6) -> rule6) triple4) -> rule4)) -> rule1))] Fiona is cold.[(triple2)] Fiona is furry.[(triple3 OR ((triple5 triple1) -> rule5) OR ((triple5 ((triple5) -> rule1)) -> rule5) OR ((((triple7 triple4) -> rule4) triple1) -> rule5) OR ((((triple7 triple4) -> rule4) ((triple5) -> rule1)) -> rule5) OR ((triple5 ((((triple7 triple4) -> rule4)) -> rule1)) -> rule5) OR ((((((triple6) -> rule2) triple4) -> rule4) triple1) -> rule5) OR ((((((triple4 triple6) -> rule6) triple4) -> rule4) triple1) -> rule5) OR ((((triple7 triple4) -> rule4) ((((triple7 triple4) -> rule4)) -> rule1)) -> rule5) OR ((((((triple6) -> rule2) triple4) -> rule4) ((triple5) -> rule1)) -> rule5) OR ((((((triple4 triple6) -> rule6) triple4) -> rule4) ((triple5) -> rule1)) -> rule5) OR ((((((triple6) -> rule2) triple4) -> rule4) ((((triple7 triple4) -> rule4)) -> rule1)) -> rule5) OR ((((((triple4 triple6) -> rule6) triple4) -> rule4) ((((triple7 triple4) -> rule4)) -> rule1)) -> rule5) OR ((triple5 ((((((triple6) -> rule2) triple4) -> rule4)) -> rule1)) -> rule5) OR ((triple5 ((((((triple4 triple6) -> rule6) triple4) -> rule4)) -> rule1)) -> rule5) OR ((((triple7 triple4) -> rule4) ((((((triple6) -> rule2) triple4) -> rule4)) -> rule1)) -> rule5) OR ((((triple7 triple4) -> rule4) ((((((triple4 triple6) -> rule6) triple4) -> rule4)) -> rule1)) -> rule5) OR ((((((triple6) -> rule2) triple4) -> rule4) ((((((triple6) -> rule2) triple4) -> rule4)) -> rule1)) -> rule5) OR ((((((triple6) -> rule2) triple4) -> rule4) ((((((triple4 triple6) -> rule6) triple4) -> rule4)) -> rule1)) -> rule5) OR ((((((triple4 triple6) -> rule6) triple4) -> rule4) ((((((triple6) -> rule2) triple4) -> rule4)) -> rule1)) -> rule5) OR ((((((triple4 triple6) -> rule6) triple4) -> rule4) ((((((triple4 triple6) -> rule6) triple4) -> rule4)) -> rule1)) -> rule5))] Fiona is nice.[(triple4)] Fiona is red.[(triple5 OR ((triple7 triple4) -> rule4) OR ((((triple6) -> rule2) triple4) -> rule4) OR ((((triple4 triple6) -> rule6) triple4) -> rule4))] Fiona is smart.[(triple6)] Fiona is young.[(triple7 OR ((triple6) -> rule2) OR ((triple4 triple6) -> rule6))]