Fiona is blue. Fiona is furry. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. If Fiona is white and Fiona is smart then Fiona is blue. All nice things are smart. If something is smart then it is rough. Rough, red things are furry. Blue, rough things are nice. If something is nice then it is furry. Furry, red things are blue. If something is rough then it is blue.
Fiona is rough.
@0: Fiona is blue.[(triple1 OR ((triple5) -> rule8) OR ((triple2 triple4) -> rule7) OR ((triple7 triple6) -> rule1) OR ((((triple6) -> rule3)) -> rule8) OR ((triple7 ((triple3) -> rule2)) -> rule1) OR ((((triple3) -> rule6) triple4) -> rule7) OR ((((triple5 triple4) -> rule4) triple4) -> rule7) OR ((((((triple3) -> rule2)) -> rule3)) -> rule8) OR ((((((triple6) -> rule3) triple4) -> rule4) triple4) -> rule7) OR ((((((((triple3) -> rule2)) -> rule3) triple4) -> rule4) triple4) -> rule7))] Fiona is furry.[(triple2 OR ((triple3) -> rule6) OR ((triple5 triple4) -> rule4) OR ((((triple1 triple5) -> rule5)) -> rule6) OR ((((triple6) -> rule3) triple4) -> rule4) OR ((((triple1 ((triple6) -> rule3)) -> rule5)) -> rule6) OR ((((((triple5) -> rule8) triple5) -> rule5)) -> rule6) OR ((((((triple7 triple6) -> rule1) triple5) -> rule5)) -> rule6) OR ((((((triple3) -> rule2)) -> rule3) triple4) -> rule4) OR ((((((triple5) -> rule8) ((triple6) -> rule3)) -> rule5)) -> rule6) OR ((((((triple7 triple6) -> rule1) ((triple6) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple6) -> rule3)) -> rule8) triple5) -> rule5)) -> rule6) OR ((((((((triple6) -> rule3)) -> rule8) ((triple6) -> rule3)) -> rule5)) -> rule6))] Fiona is nice.[(triple3 OR ((triple1 triple5) -> rule5) OR ((triple1 ((triple6) -> rule3)) -> rule5) OR ((((triple5) -> rule8) triple5) -> rule5) OR ((((triple2 triple4) -> rule7) triple5) -> rule5) OR ((((triple7 triple6) -> rule1) triple5) -> rule5) OR ((((triple5) -> rule8) ((triple6) -> rule3)) -> rule5) OR ((((triple2 triple4) -> rule7) ((triple6) -> rule3)) -> rule5) OR ((((triple7 triple6) -> rule1) ((triple6) -> rule3)) -> rule5) OR ((((((triple6) -> rule3)) -> rule8) triple5) -> rule5) OR ((((((triple5 triple4) -> rule4) triple4) -> rule7) triple5) -> rule5) OR ((((((triple6) -> rule3)) -> rule8) ((triple6) -> rule3)) -> rule5) OR ((((((triple5 triple4) -> rule4) triple4) -> rule7) ((triple6) -> rule3)) -> rule5) OR ((((((((triple6) -> rule3) triple4) -> rule4) triple4) -> rule7) triple5) -> rule5) OR ((((((((triple6) -> rule3) triple4) -> rule4) triple4) -> rule7) ((triple6) -> rule3)) -> rule5))] Fiona is red.[(triple4)] Fiona is rough.[(triple5 OR ((triple6) -> rule3) OR ((((triple3) -> rule2)) -> rule3))] Fiona is smart.[(triple6 OR ((triple3) -> rule2) OR ((((triple1 triple5) -> rule5)) -> rule2) OR ((((((triple5) -> rule8) triple5) -> rule5)) -> rule2) OR ((((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2) OR ((((((((triple5 triple4) -> rule4) triple4) -> rule7) triple5) -> rule5)) -> rule2))] Fiona is white.[(triple7)]