Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Dave is big. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is young. Erin is big. Erin is cold. Erin is quiet. Erin is young. All red people are quiet. All red, quiet people are round. If Dave is quiet and Dave is young then Dave is red. All nice, round people are quiet. All big people are young. If someone is red then they are big.
Erin is red.
@0: Charlie is nice.[(triple1)] Charlie is quiet.[(triple2 OR ((triple3) -> rule1) OR ((triple1 triple4) -> rule4))] Charlie is red.[(triple3)] Charlie is round.[(triple4 OR ((triple3 triple2) -> rule2) OR ((triple3 ((triple3) -> rule1)) -> rule2))] Dave is big.[(triple5 OR ((triple9) -> rule6) OR ((((triple8 triple11) -> rule3)) -> rule6) OR ((((((triple7 triple10) -> rule4) triple11) -> rule3)) -> rule6))] Dave is cold.[(triple6)] Dave is nice.[(triple7)] Dave is quiet.[(triple8 OR ((triple9) -> rule1) OR ((triple7 triple10) -> rule4))] Dave is red.[(triple9 OR ((triple8 triple11) -> rule3) OR ((triple8 ((triple5) -> rule5)) -> rule3) OR ((((triple7 triple10) -> rule4) triple11) -> rule3) OR ((((triple7 triple10) -> rule4) ((triple5) -> rule5)) -> rule3))] Dave is round.[(triple10 OR ((triple9 triple8) -> rule2) OR ((triple9 ((triple9) -> rule1)) -> rule2) OR ((((triple8 triple11) -> rule3) triple8) -> rule2) OR ((((triple8 triple11) -> rule3) ((triple9) -> rule1)) -> rule2) OR ((((triple8 ((triple5) -> rule5)) -> rule3) triple8) -> rule2) OR ((((triple8 ((triple5) -> rule5)) -> rule3) ((triple9) -> rule1)) -> rule2))] Dave is young.[(triple11 OR ((triple5) -> rule5) OR ((((triple9) -> rule6)) -> rule5))] Erin is big.[(triple12)] Erin is cold.[(triple13)] Erin is quiet.[(triple14)] Erin is young.[(triple15 OR ((triple12) -> rule5))] @1: Charlie is big.[(((triple3) -> rule6))] @2: Charlie is young.[(((((triple3) -> rule6)) -> rule5))]