Anne is big. Anne is furry. Anne is kind. Anne is nice. Anne is round. Anne is smart. Anne is young. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. Fiona is young. If something is round and young then it is smart. Kind, big things are nice. Round, furry things are big. If something is big then it is nice. If Fiona is smart then Fiona is kind. If Anne is round then Anne is furry. If something is furry then it is kind. All nice things are smart.
Fiona is not nice.
@0: Anne is big.[(triple1 OR ((triple5 triple2) -> rule3) OR ((triple5 ((triple5) -> rule6)) -> rule3))] Anne is furry.[(triple2 OR ((triple5) -> rule6))] Anne is kind.[(triple3 OR ((triple2) -> rule7) OR ((((triple5) -> rule6)) -> rule7))] Anne is nice.[(triple4 OR ((triple1) -> rule4) OR ((triple3 triple1) -> rule2) OR ((((triple5 triple2) -> rule3)) -> rule4) OR ((triple3 ((triple5 triple2) -> rule3)) -> rule2) OR ((((triple2) -> rule7) triple1) -> rule2) OR ((((triple2) -> rule7) ((triple5 triple2) -> rule3)) -> rule2) OR ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule4) OR ((triple3 ((triple5 ((triple5) -> rule6)) -> rule3)) -> rule2) OR ((((((triple5) -> rule6)) -> rule7) triple1) -> rule2) OR ((((triple2) -> rule7) ((triple5 ((triple5) -> rule6)) -> rule3)) -> rule2) OR ((((((triple5) -> rule6)) -> rule7) ((triple5 triple2) -> rule3)) -> rule2) OR ((((((triple5) -> rule6)) -> rule7) ((triple5 ((triple5) -> rule6)) -> rule3)) -> rule2))] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple4) -> rule8) OR ((triple5 triple7) -> rule1) OR ((((triple1) -> rule4)) -> rule8) OR ((((triple3 triple1) -> rule2)) -> rule8) OR ((((((triple5 triple2) -> rule3)) -> rule4)) -> rule8) OR ((((triple3 ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((((((triple2) -> rule7) triple1) -> rule2)) -> rule8) OR ((((((triple2) -> rule7) ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule4)) -> rule8) OR ((((triple3 ((triple5 ((triple5) -> rule6)) -> rule3)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule6)) -> rule7) triple1) -> rule2)) -> rule8) OR ((((((triple2) -> rule7) ((triple5 ((triple5) -> rule6)) -> rule3)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule6)) -> rule7) ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule6)) -> rule7) ((triple5 ((triple5) -> rule6)) -> rule3)) -> rule2)) -> rule8))] Anne is young.[(triple7)] Fiona is big.[(triple8 OR ((triple12 triple9) -> rule3))] Fiona is furry.[(triple9)] Fiona is kind.[(triple10 OR ((triple13) -> rule5) OR ((triple9) -> rule7) OR ((((triple11) -> rule8)) -> rule5) OR ((((triple12 triple14) -> rule1)) -> rule5) OR ((((((triple8) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple12 triple9) -> rule3)) -> rule4)) -> rule8)) -> rule5))] Fiona is nice.[(triple11 OR ((triple8) -> rule4) OR ((triple10 triple8) -> rule2) OR ((((triple12 triple9) -> rule3)) -> rule4) OR ((triple10 ((triple12 triple9) -> rule3)) -> rule2) OR ((((triple13) -> rule5) triple8) -> rule2) OR ((((triple9) -> rule7) triple8) -> rule2) OR ((((triple13) -> rule5) ((triple12 triple9) -> rule3)) -> rule2) OR ((((triple9) -> rule7) ((triple12 triple9) -> rule3)) -> rule2) OR ((((((triple12 triple14) -> rule1)) -> rule5) triple8) -> rule2) OR ((((((triple12 triple14) -> rule1)) -> rule5) ((triple12 triple9) -> rule3)) -> rule2))] Fiona is round.[(triple12)] Fiona is smart.[(triple13 OR ((triple11) -> rule8) OR ((triple12 triple14) -> rule1) OR ((((triple8) -> rule4)) -> rule8) OR ((((triple10 triple8) -> rule2)) -> rule8) OR ((((((triple12 triple9) -> rule3)) -> rule4)) -> rule8) OR ((((triple10 ((triple12 triple9) -> rule3)) -> rule2)) -> rule8) OR ((((((triple9) -> rule7) triple8) -> rule2)) -> rule8) OR ((((((triple9) -> rule7) ((triple12 triple9) -> rule3)) -> rule2)) -> rule8))] Fiona is young.[(triple14)]