Charlie is blue. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is white. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is round. All red, nice people are white. All blue, kind people are round. All blue, nice people are quiet. Blue people are quiet. If Gary is nice and Gary is kind then Gary is blue. If someone is nice and white then they are red. Nice, red people are quiet. If Gary is white and Gary is quiet then Gary is nice.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3 OR ((triple2 triple5) -> rule6))] Charlie is round.[(triple4)] Charlie is white.[(triple5 OR ((triple3 triple2) -> rule1))] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is quiet.[(triple8 OR ((triple7 triple9) -> rule7) OR ((triple7 ((triple7 triple11) -> rule6)) -> rule7))] Dave is red.[(triple9 OR ((triple7 triple11) -> rule6))] Dave is round.[(triple10)] Dave is white.[(triple11 OR ((triple9 triple7) -> rule1))] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is quiet.[(triple14 OR ((triple13 triple15) -> rule7) OR ((((triple13 triple12) -> rule5)) -> rule4) OR ((((triple13 triple12) -> rule5) triple13) -> rule3))] Gary is red.[(triple15)] Gary is round.[(triple16 OR ((((triple13 triple12) -> rule5) triple12) -> rule2))] @1: Charlie is quiet.[(((triple1) -> rule4) OR ((triple1 triple2) -> rule3) OR ((triple2 triple3) -> rule7) OR ((triple2 ((triple2 triple5) -> rule6)) -> rule7))] Gary is blue.[(((triple13 triple12) -> rule5))] Gary is white.[(((triple15 triple13) -> rule1))]