Bob is green. Bob is young. Charlie is round. Charlie is young. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is young. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is young. If something is quiet and green then it is round. If Dave is young and Dave is red then Dave is nice. If Dave is young and Dave is quiet then Dave is rough. If something is red and green then it is rough. If Charlie is green and Charlie is rough then Charlie is nice. If Charlie is quiet and Charlie is round then Charlie is green. Round, green things are red. If something is round then it is quiet.
Bob is green.
@0: Bob is green.[(triple1)] Bob is young.[(triple2)] Charlie is round.[(triple3)] Charlie is young.[(triple4)] Dave is green.[(triple5)] Dave is nice.[(triple6 OR ((triple10 triple8) -> rule2) OR ((triple10 ((triple9 triple5) -> rule7)) -> rule2) OR ((triple10 ((((triple7 triple5) -> rule1) triple5) -> rule7)) -> rule2))] Dave is quiet.[(triple7 OR ((triple9) -> rule8))] Dave is red.[(triple8 OR ((triple9 triple5) -> rule7) OR ((((triple7 triple5) -> rule1) triple5) -> rule7))] Dave is round.[(triple9 OR ((triple7 triple5) -> rule1))] Dave is young.[(triple10)] Erin is nice.[(triple11)] Erin is quiet.[(triple12 OR ((triple15) -> rule8))] Erin is red.[(triple13)] Erin is rough.[(triple14)] Erin is round.[(triple15)] Erin is young.[(triple16)] @1: Charlie is quiet.[(((triple3) -> rule8))] Dave is rough.[(((triple10 triple7) -> rule3) OR ((triple8 triple5) -> rule4) OR ((triple10 ((triple9) -> rule8)) -> rule3) OR ((((triple9 triple5) -> rule7) triple5) -> rule4) OR ((((((triple7 triple5) -> rule1) triple5) -> rule7) triple5) -> rule4))] @2: Charlie is green.[(((((triple3) -> rule8) triple3) -> rule6))] @3: Charlie is red.[(((triple3 ((((triple3) -> rule8) triple3) -> rule6)) -> rule7))] @4: Charlie is rough.[(((((triple3 ((((triple3) -> rule8) triple3) -> rule6)) -> rule7) ((((triple3) -> rule8) triple3) -> rule6)) -> rule4))] @5: Charlie is nice.[(((((((triple3) -> rule8) triple3) -> rule6) ((((triple3 ((((triple3) -> rule8) triple3) -> rule6)) -> rule7) ((((triple3) -> rule8) triple3) -> rule6)) -> rule4)) -> rule5))]