Fiona is big. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is young. Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is young. If Fiona is young and Fiona is nice then Fiona is big. Young, furry people are big. If Fiona is nice then Fiona is blue. All big, young people are blue. If Fiona is big and Fiona is red then Fiona is nice. If Harry is red and Harry is nice then Harry is furry.
Fiona is furry.
@0: Fiona is big.[(triple1 OR ((triple7 triple3) -> rule2) OR ((triple7 triple4) -> rule1))] Fiona is blue.[(triple2 OR ((triple4) -> rule3) OR ((triple1 triple7) -> rule4) OR ((((triple1 triple6) -> rule5)) -> rule3) OR ((((triple7 triple3) -> rule2) triple7) -> rule4) OR ((((triple7 triple4) -> rule1) triple7) -> rule4) OR ((((((triple7 triple3) -> rule2) triple6) -> rule5)) -> rule3))] Fiona is furry.[(triple3)] Fiona is nice.[(triple4 OR ((triple1 triple6) -> rule5) OR ((((triple7 triple3) -> rule2) triple6) -> rule5))] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Fiona is young.[(triple7)] Harry is big.[(triple8 OR ((triple14 triple10) -> rule2) OR ((triple14 ((triple13 triple11) -> rule6)) -> rule2))] Harry is blue.[(triple9 OR ((triple8 triple14) -> rule4) OR ((((triple14 triple10) -> rule2) triple14) -> rule4) OR ((((triple14 ((triple13 triple11) -> rule6)) -> rule2) triple14) -> rule4))] Harry is furry.[(triple10 OR ((triple13 triple11) -> rule6))] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] Harry is red.[(triple13)] Harry is young.[(triple14)]