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