Charlie is big. Charlie is red. Erin is kind. Erin is round. Erin is white. Fiona is smart. Fiona is white. Fiona is young. Gary is big. Gary is kind. Gary is red. Gary is round. Gary is smart. Gary is white. Gary is young. All young, red people are kind. Big, red people are white. If someone is round then they are smart. If Charlie is red then Charlie is round. All big, red people are round. All kind, white people are smart. All smart, white people are young. Young, red people are round.
Fiona is kind.
@0: Charlie is big.[(triple1)] Charlie is red.[(triple2)] Erin is kind.[(triple3)] Erin is round.[(triple4)] Erin is white.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] Fiona is young.[(triple8 OR ((triple6 triple7) -> rule7))] Gary is big.[(triple9)] Gary is kind.[(triple10 OR ((triple15 triple11) -> rule1) OR ((((triple13 triple14) -> rule7) triple11) -> rule1) OR ((((triple13 ((triple9 triple11) -> rule2)) -> rule7) triple11) -> rule1) OR ((((((triple12) -> rule3) triple14) -> rule7) triple11) -> rule1) OR ((((((triple12) -> rule3) ((triple9 triple11) -> rule2)) -> rule7) triple11) -> rule1) OR ((((((((triple9 triple11) -> rule5)) -> rule3) triple14) -> rule7) triple11) -> rule1) OR ((((((((triple9 triple11) -> rule5)) -> rule3) ((triple9 triple11) -> rule2)) -> rule7) triple11) -> rule1))] Gary is red.[(triple11)] Gary is round.[(triple12 OR ((triple15 triple11) -> rule8) OR ((triple9 triple11) -> rule5) OR ((((triple13 triple14) -> rule7) triple11) -> rule8) OR ((((triple13 ((triple9 triple11) -> rule2)) -> rule7) triple11) -> rule8) OR ((((((triple10 triple14) -> rule6) triple14) -> rule7) triple11) -> rule8) OR ((((((triple10 triple14) -> rule6) ((triple9 triple11) -> rule2)) -> rule7) triple11) -> rule8) OR ((((((triple10 ((triple9 triple11) -> rule2)) -> rule6) triple14) -> rule7) triple11) -> rule8) OR ((((((triple10 ((triple9 triple11) -> rule2)) -> rule6) ((triple9 triple11) -> rule2)) -> rule7) triple11) -> rule8))] Gary is smart.[(triple13 OR ((triple12) -> rule3) OR ((triple10 triple14) -> rule6) OR ((((triple15 triple11) -> rule8)) -> rule3) OR ((((triple9 triple11) -> rule5)) -> rule3) OR ((triple10 ((triple9 triple11) -> rule2)) -> rule6) OR ((((triple15 triple11) -> rule1) triple14) -> rule6) OR ((((triple15 triple11) -> rule1) ((triple9 triple11) -> rule2)) -> rule6))] Gary is white.[(triple14 OR ((triple9 triple11) -> rule2))] Gary is young.[(triple15 OR ((triple13 triple14) -> rule7) OR ((triple13 ((triple9 triple11) -> rule2)) -> rule7) OR ((((triple12) -> rule3) triple14) -> rule7) OR ((((triple10 triple14) -> rule6) triple14) -> rule7) OR ((((triple12) -> rule3) ((triple9 triple11) -> rule2)) -> rule7) OR ((((triple10 triple14) -> rule6) ((triple9 triple11) -> rule2)) -> rule7) OR ((((((triple9 triple11) -> rule5)) -> rule3) triple14) -> rule7) OR ((((triple10 ((triple9 triple11) -> rule2)) -> rule6) triple14) -> rule7) OR ((((((triple9 triple11) -> rule5)) -> rule3) ((triple9 triple11) -> rule2)) -> rule7) OR ((((triple10 ((triple9 triple11) -> rule2)) -> rule6) ((triple9 triple11) -> rule2)) -> rule7))] @1: Charlie is round.[(((triple2) -> rule4) OR ((triple1 triple2) -> rule5))] Charlie is white.[(((triple1 triple2) -> rule2))] Erin is smart.[(((triple4) -> rule3) OR ((triple3 triple5) -> rule6))] @2: Charlie is smart.[(((((triple2) -> rule4)) -> rule3) OR ((((triple1 triple2) -> rule5)) -> rule3))] Erin is young.[(((((triple4) -> rule3) triple5) -> rule7) OR ((((triple3 triple5) -> rule6) triple5) -> rule7))] @3: Charlie is young.[(((((((triple2) -> rule4)) -> rule3) ((triple1 triple2) -> rule2)) -> rule7) OR ((((((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule2)) -> rule7))] @4: Charlie is kind.[(((((((((triple2) -> rule4)) -> rule3) ((triple1 triple2) -> rule2)) -> rule7) triple2) -> rule1) OR ((((((((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule2)) -> rule7) triple2) -> rule1))]