Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Charlie is kind. Charlie is nice. Charlie is quiet. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Fiona is blue. Fiona is quiet. Kind, blue things are furry. All furry things are rough. If something is blue and quiet then it is rough. If Dave is nice then Dave is quiet. Blue, quiet things are kind. If Bob is nice and Bob is kind then Bob is furry.
Fiona is blue.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2 OR ((triple4 triple1) -> rule1) OR ((((triple1 triple5) -> rule5) triple1) -> rule1))] Bob is green.[(triple3)] Bob is kind.[(triple4 OR ((triple1 triple5) -> rule5))] Bob is quiet.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8)] Dave is furry.[(triple9)] Dave is green.[(triple10)] Dave is kind.[(triple11)] Dave is nice.[(triple12)] Dave is quiet.[(triple13 OR ((triple12) -> rule4))] Fiona is blue.[(triple14)] Fiona is quiet.[(triple15)] @1: Bob is rough.[(((triple2) -> rule2) OR ((triple1 triple5) -> rule3) OR ((((triple4 triple1) -> rule1)) -> rule2) OR ((((((triple1 triple5) -> rule5) triple1) -> rule1)) -> rule2))] Dave is rough.[(((triple9) -> rule2))] Fiona is kind.[(((triple14 triple15) -> rule5))] Fiona is rough.[(((triple14 triple15) -> rule3) OR ((((((triple14 triple15) -> rule5) triple14) -> rule1)) -> rule2))] @2: Fiona is furry.[(((((triple14 triple15) -> rule5) triple14) -> rule1))]