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