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