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