Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is rough. Bob is round. Bob is young. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Red, round people are quiet. Blue, quiet people are furry. All furry, young people are red.
Fiona is blue.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2 OR ((triple1 triple3) -> rule2) OR ((triple1 ((triple4 triple6) -> rule1)) -> rule2))] Bob is quiet.[(triple3 OR ((triple4 triple6) -> rule1) OR ((((triple2 triple7) -> rule3) triple6) -> rule1))] Bob is red.[(triple4 OR ((triple2 triple7) -> rule3) OR ((((triple1 triple3) -> rule2) triple7) -> rule3))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Fiona is furry.[(triple8)] Fiona is quiet.[(triple9 OR ((triple10 triple12) -> rule1))] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is round.[(triple12)]