Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is round. Charlie is green. Charlie is quiet. Dave is big. Dave is furry. Dave is green. Dave is red. Dave is rough. All red, green people are big. If someone is furry then they are green. All big, green people are red. All rough, green people are round. All green people are furry. If someone is rough then they are big.
Charlie is rough.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3 OR ((((triple4) -> rule6) triple1) -> rule3))] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple4 triple1) -> rule4))] Charlie is green.[(triple6)] Charlie is quiet.[(triple7)] Dave is big.[(triple8 OR ((triple12) -> rule6) OR ((triple11 triple10) -> rule1) OR ((triple11 ((triple9) -> rule2)) -> rule1))] Dave is furry.[(triple9 OR ((triple10) -> rule5))] Dave is green.[(triple10 OR ((triple9) -> rule2))] Dave is red.[(triple11 OR ((triple8 triple10) -> rule3) OR ((triple8 ((triple9) -> rule2)) -> rule3) OR ((((triple12) -> rule6) triple10) -> rule3) OR ((((triple12) -> rule6) ((triple9) -> rule2)) -> rule3))] Dave is rough.[(triple12)] @1: Bob is big.[(((triple4) -> rule6) OR ((triple3 triple1) -> rule1))] Bob is furry.[(((triple1) -> rule5))] Charlie is furry.[(((triple6) -> rule5))] Dave is round.[(((triple12 triple10) -> rule4) OR ((triple12 ((triple9) -> rule2)) -> rule4))]