Bob is furry. Bob is rough. Dave is kind. Dave is white. Erin is furry. Erin is kind. Fiona is furry. Fiona is green. Fiona is red. Fiona is rough. If Bob is rough and Bob is furry then Bob is red. All furry things are rough. All kind things are round. Furry, round things are kind. If something is kind then it is green. All white, green things are kind.
Fiona is not rough.
@0: Bob is furry.[(triple1)] Bob is rough.[(triple2 OR ((triple1) -> rule2))] Dave is kind.[(triple3)] Dave is white.[(triple4)] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Fiona is furry.[(triple7)] Fiona is green.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10 OR ((triple7) -> rule2))] @1: Bob is red.[(((triple2 triple1) -> rule1) OR ((((triple1) -> rule2) triple1) -> rule1))] Dave is green.[(((triple3) -> rule5))] Dave is round.[(((triple3) -> rule3))] Erin is green.[(((triple6) -> rule5))] Erin is rough.[(((triple5) -> rule2))] Erin is round.[(((triple6) -> rule3))]