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