Anne is red. Anne is round. Anne is smart. Anne is young. Charlie is nice. Charlie is red. Charlie is round. Charlie is young. Dave is round. Dave is smart. Gary is round. Gary is young. Round, green people are nice. Smart people are round. If someone is smart then they are red. All young people are round. All red, nice people are young. All red, young people are green. If someone is round then they are smart. If Dave is young then Dave is smart.
Dave is red.
@0: Anne is red.[(triple1 OR ((triple3) -> rule3) OR ((((triple2) -> rule7)) -> rule3) OR ((((((triple4) -> rule4)) -> rule7)) -> rule3))] Anne is round.[(triple2 OR ((triple3) -> rule2) OR ((triple4) -> rule4))] Anne is smart.[(triple3 OR ((triple2) -> rule7) OR ((((triple4) -> rule4)) -> rule7))] Anne is young.[(triple4)] Charlie is nice.[(triple5 OR ((triple7 ((triple6 triple8) -> rule6)) -> rule1) OR ((((triple8) -> rule4) ((triple6 triple8) -> rule6)) -> rule1) OR ((triple7 ((((((triple7) -> rule7)) -> rule3) triple8) -> rule6)) -> rule1) OR ((((triple8) -> rule4) ((((((triple7) -> rule7)) -> rule3) triple8) -> rule6)) -> rule1) OR ((triple7 ((((((((triple8) -> rule4)) -> rule7)) -> rule3) triple8) -> rule6)) -> rule1) OR ((((triple8) -> rule4) ((((((((triple8) -> rule4)) -> rule7)) -> rule3) triple8) -> rule6)) -> rule1))] Charlie is red.[(triple6 OR ((((triple7) -> rule7)) -> rule3) OR ((((((triple8) -> rule4)) -> rule7)) -> rule3))] Charlie is round.[(triple7 OR ((triple8) -> rule4) OR ((((triple6 triple5) -> rule5)) -> rule4))] Charlie is young.[(triple8 OR ((triple6 triple5) -> rule5) OR ((((((triple7) -> rule7)) -> rule3) triple5) -> rule5))] Dave is round.[(triple9 OR ((triple10) -> rule2))] Dave is smart.[(triple10 OR ((triple9) -> rule7))] Gary is round.[(triple11 OR ((triple12) -> rule4))] Gary is young.[(triple12)] @1: Anne is green.[(((triple1 triple4) -> rule6) OR ((((triple3) -> rule3) triple4) -> rule6) OR ((((((triple2) -> rule7)) -> rule3) triple4) -> rule6) OR ((((((((triple4) -> rule4)) -> rule7)) -> rule3) triple4) -> rule6))] Charlie is green.[(((triple6 triple8) -> rule6) OR ((triple6 ((triple6 triple5) -> rule5)) -> rule6) OR ((((((triple7) -> rule7)) -> rule3) triple8) -> rule6) OR ((((((triple7) -> rule7)) -> rule3) ((triple6 triple5) -> rule5)) -> rule6) OR ((triple6 ((((((triple7) -> rule7)) -> rule3) triple5) -> rule5)) -> rule6) OR ((((((((triple8) -> rule4)) -> rule7)) -> rule3) triple8) -> rule6) OR ((((((((triple8) -> rule4)) -> rule7)) -> rule3) ((triple6 triple5) -> rule5)) -> rule6) OR ((((((triple7) -> rule7)) -> rule3) ((((((triple7) -> rule7)) -> rule3) triple5) -> rule5)) -> rule6) OR ((((((((triple8) -> rule4)) -> rule7)) -> rule3) ((((((triple7) -> rule7)) -> rule3) triple5) -> rule5)) -> rule6))] Charlie is smart.[(((triple7) -> rule7) OR ((((triple8) -> rule4)) -> rule7) OR ((((((triple6 triple5) -> rule5)) -> rule4)) -> rule7))] Dave is red.[(((triple10) -> rule3) OR ((((triple9) -> rule7)) -> rule3))] Gary is smart.[(((triple11) -> rule7) OR ((((triple12) -> rule4)) -> rule7))] @2: Anne is nice.[(((triple2 ((triple1 triple4) -> rule6)) -> rule1) OR ((((triple3) -> rule2) ((triple1 triple4) -> rule6)) -> rule1) OR ((((triple4) -> rule4) ((triple1 triple4) -> rule6)) -> rule1) OR ((triple2 ((((triple3) -> rule3) triple4) -> rule6)) -> rule1) OR ((((triple3) -> rule2) ((((triple3) -> rule3) triple4) -> rule6)) -> rule1) OR ((((triple4) -> rule4) ((((triple3) -> rule3) triple4) -> rule6)) -> rule1) OR ((triple2 ((((((triple2) -> rule7)) -> rule3) triple4) -> rule6)) -> rule1) OR ((((triple3) -> rule2) ((((((triple2) -> rule7)) -> rule3) triple4) -> rule6)) -> rule1) OR ((((triple4) -> rule4) ((((((triple2) -> rule7)) -> rule3) triple4) -> rule6)) -> rule1) OR ((triple2 ((((((((triple4) -> rule4)) -> rule7)) -> rule3) triple4) -> rule6)) -> rule1) OR ((((triple3) -> rule2) ((((((((triple4) -> rule4)) -> rule7)) -> rule3) triple4) -> rule6)) -> rule1) OR ((((triple4) -> rule4) ((((((((triple4) -> rule4)) -> rule7)) -> rule3) triple4) -> rule6)) -> rule1))] Gary is red.[(((((triple11) -> rule7)) -> rule3) OR ((((((triple12) -> rule4)) -> rule7)) -> rule3))] @3: Gary is green.[(((((((triple11) -> rule7)) -> rule3) triple12) -> rule6) OR ((((((((triple12) -> rule4)) -> rule7)) -> rule3) triple12) -> rule6))] @4: Gary is nice.[(((triple11 ((((((triple11) -> rule7)) -> rule3) triple12) -> rule6)) -> rule1) OR ((((triple12) -> rule4) ((((((triple11) -> rule7)) -> rule3) triple12) -> rule6)) -> rule1) OR ((triple11 ((((((((triple12) -> rule4)) -> rule7)) -> rule3) triple12) -> rule6)) -> rule1) OR ((((triple12) -> rule4) ((((((((triple12) -> rule4)) -> rule7)) -> rule3) triple12) -> rule6)) -> rule1))]