Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is round. Gary is furry. Gary is green. Gary is quiet. Big people are round. If someone is round then they are nice. All big people are round. Nice, big people are round. Furry, green people are big. If someone is big then they are furry.
Gary is not round.
@0: Dave is big.[(triple1 OR ((triple3 triple4) -> rule5))] Dave is blue.[(triple2)] Dave is furry.[(triple3 OR ((triple1) -> rule6))] Dave is green.[(triple4)] Dave is nice.[(triple5 OR ((((triple1) -> rule1)) -> rule2) OR ((((triple1) -> rule3)) -> rule2) OR ((((((triple3 triple4) -> rule5)) -> rule1)) -> rule2) OR ((((((triple3 triple4) -> rule5)) -> rule3)) -> rule2))] Dave is quiet.[(triple6)] Fiona is blue.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple10 OR ((triple12) -> rule2) OR ((((((triple8 triple9) -> rule5)) -> rule1)) -> rule2) OR ((((((triple8 triple9) -> rule5)) -> rule3)) -> rule2))] Fiona is quiet.[(triple11)] Fiona is round.[(triple12 OR ((((triple8 triple9) -> rule5)) -> rule1) OR ((((triple8 triple9) -> rule5)) -> rule3) OR ((triple10 ((triple8 triple9) -> rule5)) -> rule4))] Gary is furry.[(triple13)] Gary is green.[(triple14)] Gary is quiet.[(triple15)] @1: Dave is round.[(((triple1) -> rule1) OR ((triple1) -> rule3) OR ((triple5 triple1) -> rule4) OR ((((triple3 triple4) -> rule5)) -> rule1) OR ((((triple3 triple4) -> rule5)) -> rule3) OR ((triple5 ((triple3 triple4) -> rule5)) -> rule4))] Fiona is big.[(((triple8 triple9) -> rule5))] Gary is big.[(((triple13 triple14) -> rule5))] @2: Gary is round.[(((((triple13 triple14) -> rule5)) -> rule1) OR ((((triple13 triple14) -> rule5)) -> rule3))] @3: Gary is nice.[(((((((triple13 triple14) -> rule5)) -> rule1)) -> rule2) OR ((((((triple13 triple14) -> rule5)) -> rule3)) -> rule2))]