Dave is big. Dave is furry. Dave is quiet. Dave is red. Dave is smart. Fiona is big. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is rough. Red, big things are rough. If something is quiet and furry then it is blue. All quiet things are rough. If something is blue and smart then it is rough. If Dave is big then Dave is rough. Rough, furry things are red. All furry, big things are red. Blue, rough things are red.
Fiona is not furry.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4 OR ((triple2 triple1) -> rule7) OR ((((triple1) -> rule5) triple2) -> rule6) OR ((((triple3) -> rule3) triple2) -> rule6) OR ((((triple3 triple2) -> rule2) ((triple1) -> rule5)) -> rule8) OR ((((triple3 triple2) -> rule2) ((triple3) -> rule3)) -> rule8) OR ((((((triple3 triple2) -> rule2) triple5) -> rule4) triple2) -> rule6) OR ((((triple3 triple2) -> rule2) ((((triple3 triple2) -> rule2) triple5) -> rule4)) -> rule8))] Dave is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7 OR ((triple9 triple8) -> rule2))] Fiona is furry.[(triple8)] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10 OR ((triple9) -> rule3) OR ((((triple8 triple6) -> rule7) triple6) -> rule1))] @1: Dave is blue.[(((triple3 triple2) -> rule2))] Dave is rough.[(((triple1) -> rule5) OR ((triple3) -> rule3) OR ((triple4 triple1) -> rule1) OR ((((triple2 triple1) -> rule7) triple1) -> rule1) OR ((((triple3 triple2) -> rule2) triple5) -> rule4))] Fiona is red.[(((triple10 triple8) -> rule6) OR ((triple7 triple10) -> rule8) OR ((triple8 triple6) -> rule7) OR ((triple7 ((triple9) -> rule3)) -> rule8) OR ((((triple9) -> rule3) triple8) -> rule6) OR ((((triple9 triple8) -> rule2) triple10) -> rule8) OR ((((triple9 triple8) -> rule2) ((triple9) -> rule3)) -> rule8))]