Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Charlie is young. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is white. Erin is not young. If Charlie is round then Charlie is rough. Red, young people are nice. All red, rough people are nice. If someone is kind then they are white. If Charlie is nice and Charlie is red then Charlie is kind. If Charlie is white and Charlie is kind then Charlie is young. If someone is kind then they are round. All nice, red people are round.
Charlie is young.
@0: Charlie is kind.[(triple1 OR ((triple2 triple3) -> rule5) OR ((((triple3 triple5) -> rule2) triple3) -> rule5) OR ((((triple3 ((triple4) -> rule1)) -> rule3) triple3) -> rule5))] Charlie is nice.[(triple2 OR ((triple3 triple5) -> rule2) OR ((triple3 ((triple4) -> rule1)) -> rule3) OR ((triple3 ((((triple1) -> rule7)) -> rule1)) -> rule3) OR ((triple3 ((((triple1) -> rule4) triple1) -> rule6)) -> rule2))] Charlie is red.[(triple3)] Charlie is round.[(triple4 OR ((triple1) -> rule7) OR ((triple2 triple3) -> rule8) OR ((((triple2 triple3) -> rule5)) -> rule7) OR ((((triple3 triple5) -> rule2) triple3) -> rule8) OR ((((((triple3 triple5) -> rule2) triple3) -> rule5)) -> rule7) OR ((((triple3 ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) triple3) -> rule8))] Charlie is young.[(triple5 OR ((((triple1) -> rule4) triple1) -> rule6) OR ((((triple1) -> rule4) ((triple2 triple3) -> rule5)) -> rule6) OR ((((((triple2 triple3) -> rule5)) -> rule4) triple1) -> rule6) OR ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6) OR ((((triple1) -> rule4) ((((triple3 ((triple4) -> rule1)) -> rule3) triple3) -> rule5)) -> rule6) OR ((((((triple2 triple3) -> rule5)) -> rule4) ((((triple3 ((triple4) -> rule1)) -> rule3) triple3) -> rule5)) -> rule6) OR ((((((((triple3 ((triple4) -> rule1)) -> rule3) triple3) -> rule5)) -> rule4) triple1) -> rule6) OR ((((((((triple3 ((triple4) -> rule1)) -> rule3) triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6) OR ((((((((triple3 ((triple4) -> rule1)) -> rule3) triple3) -> rule5)) -> rule4) ((((triple3 ((triple4) -> rule1)) -> rule3) triple3) -> rule5)) -> rule6))] Erin is kind.[(triple6)] Erin is nice.[(triple7 OR ((triple8 triple9) -> rule3))] Erin is not young.[(triple12)] Erin is red.[(triple8)] Erin is rough.[(triple9)] Erin is round.[(triple10 OR ((triple6) -> rule7) OR ((triple7 triple8) -> rule8) OR ((((triple8 triple9) -> rule3) triple8) -> rule8))] Erin is white.[(triple11 OR ((triple6) -> rule4))] @1: Charlie is rough.[(((triple4) -> rule1) OR ((((triple1) -> rule7)) -> rule1) OR ((((triple2 triple3) -> rule8)) -> rule1) OR ((((((triple2 triple3) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 triple5) -> rule2) triple3) -> rule8)) -> rule1) OR ((((((((triple3 triple5) -> rule2) triple3) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) triple3) -> rule8)) -> rule1))] Charlie is white.[(((triple1) -> rule4) OR ((((triple2 triple3) -> rule5)) -> rule4) OR ((((((triple3 triple5) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3 ((triple4) -> rule1)) -> rule3) triple3) -> rule5)) -> rule4))]