Bob is big. Bob is blue. Bob is nice. Bob is rough. Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Fiona is big. Fiona is blue. Harry is big. Harry is blue. Harry is rough. Harry is smart. If Fiona is nice then Fiona is big. Blue things are rough. Rough, smart things are nice. If something is furry then it is rough. All smart, nice things are big. All smart things are furry. If something is big and rough then it is nice. If something is blue and nice then it is furry.
Fiona is not kind.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is nice.[(triple3 OR ((triple1 triple4) -> rule7) OR ((triple1 ((triple2) -> rule2)) -> rule7))] Bob is rough.[(triple4 OR ((triple2) -> rule2) OR ((((triple2 triple3) -> rule8)) -> rule4))] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7 OR ((triple6 triple9) -> rule8) OR ((triple6 ((triple5 triple10) -> rule7)) -> rule8) OR ((triple6 ((triple5 ((triple6) -> rule2)) -> rule7)) -> rule8))] Erin is kind.[(triple8)] Erin is nice.[(triple9 OR ((triple5 triple10) -> rule7) OR ((triple5 ((triple6) -> rule2)) -> rule7) OR ((triple5 ((triple7) -> rule4)) -> rule7))] Erin is rough.[(triple10 OR ((triple6) -> rule2) OR ((triple7) -> rule4) OR ((((triple6 triple9) -> rule8)) -> rule4))] Fiona is big.[(triple11)] Fiona is blue.[(triple12)] Harry is big.[(triple13 OR ((triple16 ((triple15 triple16) -> rule3)) -> rule5) OR ((triple16 ((((triple14) -> rule2) triple16) -> rule3)) -> rule5) OR ((triple16 ((((((triple16) -> rule6)) -> rule4) triple16) -> rule3)) -> rule5))] Harry is blue.[(triple14)] Harry is rough.[(triple15 OR ((triple14) -> rule2) OR ((((triple16) -> rule6)) -> rule4))] Harry is smart.[(triple16)] @1: Bob is furry.[(((triple2 triple3) -> rule8) OR ((triple2 ((triple1 triple4) -> rule7)) -> rule8) OR ((triple2 ((triple1 ((triple2) -> rule2)) -> rule7)) -> rule8))] Fiona is rough.[(((triple12) -> rule2))] Harry is furry.[(((triple16) -> rule6) OR ((triple14 ((triple13 triple15) -> rule7)) -> rule8) OR ((triple14 ((triple15 triple16) -> rule3)) -> rule8) OR ((triple14 ((triple13 ((triple14) -> rule2)) -> rule7)) -> rule8) OR ((triple14 ((((triple14) -> rule2) triple16) -> rule3)) -> rule8))] Harry is nice.[(((triple13 triple15) -> rule7) OR ((triple15 triple16) -> rule3) OR ((triple13 ((triple14) -> rule2)) -> rule7) OR ((((triple14) -> rule2) triple16) -> rule3) OR ((triple13 ((((triple16) -> rule6)) -> rule4)) -> rule7) OR ((((((triple16) -> rule6)) -> rule4) triple16) -> rule3))] @2: Fiona is nice.[(((triple11 ((triple12) -> rule2)) -> rule7))] @3: Fiona is furry.[(((triple12 ((triple11 ((triple12) -> rule2)) -> rule7)) -> rule8))]