Dave is blue. Dave is cold. Dave is furry. Dave is red. Dave is rough. Dave is round. Dave is smart. Fiona is blue. Fiona is cold. Fiona is furry. Gary is cold. Gary is furry. Gary is rough. Gary is round. Gary is smart. All round people are red. Rough people are round. All rough, blue people are cold. If someone is blue then they are rough. If someone is cold and smart then they are round. If Dave is rough and Dave is furry then Dave is cold.
Fiona is not rough.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple5 triple1) -> rule3) OR ((triple5 triple3) -> rule6) OR ((((triple1) -> rule4) triple1) -> rule3) OR ((((triple1) -> rule4) triple3) -> rule6))] Dave is furry.[(triple3)] Dave is red.[(triple4 OR ((triple6) -> rule1) OR ((((triple5) -> rule2)) -> rule1) OR ((((triple2 triple7) -> rule5)) -> rule1) OR ((((((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((((triple5 triple1) -> rule3) triple7) -> rule5)) -> rule1) OR ((((((triple5 triple3) -> rule6) triple7) -> rule5)) -> rule1) OR ((((((((triple1) -> rule4) triple1) -> rule3) triple7) -> rule5)) -> rule1) OR ((((((((triple1) -> rule4) triple3) -> rule6) triple7) -> rule5)) -> rule1))] Dave is rough.[(triple5 OR ((triple1) -> rule4))] Dave is round.[(triple6 OR ((triple5) -> rule2) OR ((triple2 triple7) -> rule5) OR ((((triple1) -> rule4)) -> rule2) OR ((((triple5 triple1) -> rule3) triple7) -> rule5) OR ((((triple5 triple3) -> rule6) triple7) -> rule5) OR ((((((triple1) -> rule4) triple1) -> rule3) triple7) -> rule5) OR ((((((triple1) -> rule4) triple3) -> rule6) triple7) -> rule5))] Dave is smart.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9 OR ((((triple8) -> rule4) triple8) -> rule3))] Fiona is furry.[(triple10)] Gary is cold.[(triple11)] Gary is furry.[(triple12)] Gary is rough.[(triple13)] Gary is round.[(triple14 OR ((triple13) -> rule2) OR ((triple11 triple15) -> rule5))] Gary is smart.[(triple15)] @1: Fiona is rough.[(((triple8) -> rule4))] Gary is red.[(((triple14) -> rule1) OR ((((triple13) -> rule2)) -> rule1) OR ((((triple11 triple15) -> rule5)) -> rule1))] @2: Fiona is round.[(((((triple8) -> rule4)) -> rule2))] @3: Fiona is red.[(((((((triple8) -> rule4)) -> rule2)) -> rule1))]