Fiona is furry. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. Gary is furry. Gary is nice. Gary is red. Gary is rough. Gary is round. Gary is smart. Gary is white. Nice, furry things are red. If something is rough then it is red. If something is rough and smart then it is furry. All white things are round. If something is white then it is furry. Smart, rough things are round. If something is furry then it is rough. White things are smart.
Gary is not rough.
@0: Fiona is furry.[(triple1 OR ((triple7) -> rule5) OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple7) -> rule8)) -> rule3))] Fiona is nice.[(triple2)] Fiona is red.[(triple3 OR ((triple4) -> rule2) OR ((triple2 triple1) -> rule1) OR ((((triple1) -> rule7)) -> rule2) OR ((triple2 ((triple7) -> rule5)) -> rule1) OR ((triple2 ((triple4 triple6) -> rule3)) -> rule1) OR ((((((triple7) -> rule5)) -> rule7)) -> rule2) OR ((triple2 ((triple4 ((triple7) -> rule8)) -> rule3)) -> rule1))] Fiona is rough.[(triple4 OR ((triple1) -> rule7) OR ((((triple7) -> rule5)) -> rule7))] Fiona is round.[(triple5 OR ((triple7) -> rule4) OR ((triple6 triple4) -> rule6) OR ((triple6 ((triple1) -> rule7)) -> rule6) OR ((((triple7) -> rule8) triple4) -> rule6) OR ((((triple7) -> rule8) ((triple1) -> rule7)) -> rule6) OR ((triple6 ((((triple7) -> rule5)) -> rule7)) -> rule6) OR ((((triple7) -> rule8) ((((triple7) -> rule5)) -> rule7)) -> rule6))] Fiona is smart.[(triple6 OR ((triple7) -> rule8))] Fiona is white.[(triple7)] Gary is furry.[(triple8 OR ((triple14) -> rule5) OR ((triple11 triple13) -> rule3) OR ((triple11 ((triple14) -> rule8)) -> rule3))] Gary is nice.[(triple9)] Gary is red.[(triple10 OR ((triple11) -> rule2) OR ((triple9 triple8) -> rule1) OR ((((triple8) -> rule7)) -> rule2) OR ((triple9 ((triple14) -> rule5)) -> rule1) OR ((triple9 ((triple11 triple13) -> rule3)) -> rule1) OR ((((((triple14) -> rule5)) -> rule7)) -> rule2) OR ((triple9 ((triple11 ((triple14) -> rule8)) -> rule3)) -> rule1))] Gary is rough.[(triple11 OR ((triple8) -> rule7) OR ((((triple14) -> rule5)) -> rule7))] Gary is round.[(triple12 OR ((triple14) -> rule4) OR ((triple13 triple11) -> rule6) OR ((triple13 ((triple8) -> rule7)) -> rule6) OR ((((triple14) -> rule8) triple11) -> rule6) OR ((((triple14) -> rule8) ((triple8) -> rule7)) -> rule6) OR ((triple13 ((((triple14) -> rule5)) -> rule7)) -> rule6) OR ((((triple14) -> rule8) ((((triple14) -> rule5)) -> rule7)) -> rule6))] Gary is smart.[(triple13 OR ((triple14) -> rule8))] Gary is white.[(triple14)]