Bob is big. Bob is furry. Bob is kind. Bob is rough. Bob is white. Charlie is big. Charlie is kind. Charlie is quiet. Erin is kind. Erin is nice. Erin is quiet. Harry is rough. Furry, white people are big. If someone is big and nice then they are furry. Rough people are nice. If someone is nice and kind then they are furry. If someone is quiet then they are rough. If Charlie is white and Charlie is rough then Charlie is big.
Harry is not furry.
@0: Bob is big.[(triple1 OR ((triple2 triple5) -> rule1) OR ((((((triple4) -> rule3) triple3) -> rule4) triple5) -> rule1))] Bob is furry.[(triple2 OR ((triple1 ((triple4) -> rule3)) -> rule2) OR ((((triple4) -> rule3) triple3) -> rule4))] Bob is kind.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Charlie is big.[(triple6)] Charlie is kind.[(triple7)] Charlie is quiet.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10 OR ((((triple11) -> rule5)) -> rule3))] Erin is quiet.[(triple11)] Harry is rough.[(triple12)] @1: Bob is nice.[(((triple4) -> rule3))] Charlie is rough.[(((triple8) -> rule5))] Erin is furry.[(((triple10 triple9) -> rule4) OR ((((((triple11) -> rule5)) -> rule3) triple9) -> rule4))] Erin is rough.[(((triple11) -> rule5))] Harry is nice.[(((triple12) -> rule3))] @2: Charlie is nice.[(((((triple8) -> rule5)) -> rule3))] @3: Charlie is furry.[(((triple6 ((((triple8) -> rule5)) -> rule3)) -> rule2) OR ((((((triple8) -> rule5)) -> rule3) triple7) -> rule4))]