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