Erin is blue. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is white. Fiona is nice. Gary is blue. Gary is red. Harry is big. Harry is blue. Harry is kind. Harry is red. Harry is white. All blue people are nice. If someone is nice then they are white. Green people are blue. If someone is blue then they are big. If someone is red then they are kind. Big people are nice. Blue, kind people are green. Nice, white people are blue. Blue people are red.
Harry is green.
@0: Erin is blue.[(triple1 OR ((triple2) -> rule3) OR ((triple4 triple6) -> rule8) OR ((triple4 ((triple4) -> rule2)) -> rule8))] Erin is green.[(triple2 OR ((triple1 triple3) -> rule7) OR ((triple1 ((triple5) -> rule5)) -> rule7) OR ((((triple4 triple6) -> rule8) triple3) -> rule7) OR ((((triple4 triple6) -> rule8) ((triple5) -> rule5)) -> rule7) OR ((triple1 ((((triple1) -> rule9)) -> rule5)) -> rule7) OR ((((triple4 ((triple4) -> rule2)) -> rule8) triple3) -> rule7) OR ((((triple4 triple6) -> rule8) ((((triple1) -> rule9)) -> rule5)) -> rule7) OR ((((triple4 ((triple4) -> rule2)) -> rule8) ((triple5) -> rule5)) -> rule7) OR ((((triple4 ((triple4) -> rule2)) -> rule8) ((((triple1) -> rule9)) -> rule5)) -> rule7) OR ((triple1 ((((((triple4 triple6) -> rule8)) -> rule9)) -> rule5)) -> rule7) OR ((((triple4 triple6) -> rule8) ((((((triple4 triple6) -> rule8)) -> rule9)) -> rule5)) -> rule7) OR ((((triple4 ((triple4) -> rule2)) -> rule8) ((((((triple4 triple6) -> rule8)) -> rule9)) -> rule5)) -> rule7) OR ((triple1 ((((((triple4 ((triple4) -> rule2)) -> rule8)) -> rule9)) -> rule5)) -> rule7) OR ((((triple4 triple6) -> rule8) ((((((triple4 ((triple4) -> rule2)) -> rule8)) -> rule9)) -> rule5)) -> rule7) OR ((((triple4 ((triple4) -> rule2)) -> rule8) ((((((triple4 ((triple4) -> rule2)) -> rule8)) -> rule9)) -> rule5)) -> rule7))] Erin is kind.[(triple3 OR ((triple5) -> rule5) OR ((((triple1) -> rule9)) -> rule5) OR ((((((triple2) -> rule3)) -> rule9)) -> rule5) OR ((((((triple4 triple6) -> rule8)) -> rule9)) -> rule5) OR ((((((triple4 ((triple4) -> rule2)) -> rule8)) -> rule9)) -> rule5))] Erin is nice.[(triple4 OR ((triple1) -> rule1) OR ((((triple1) -> rule4)) -> rule6) OR ((((triple2) -> rule3)) -> rule1) OR ((((((triple2) -> rule3)) -> rule4)) -> rule6))] Erin is red.[(triple5 OR ((triple1) -> rule9) OR ((((triple2) -> rule3)) -> rule9) OR ((((triple4 triple6) -> rule8)) -> rule9) OR ((((triple4 ((triple4) -> rule2)) -> rule8)) -> rule9))] Erin is white.[(triple6 OR ((triple4) -> rule2) OR ((((triple1) -> rule1)) -> rule2) OR ((((((triple1) -> rule4)) -> rule6)) -> rule2) OR ((((((triple2) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple2) -> rule3)) -> rule4)) -> rule6)) -> rule2))] Fiona is nice.[(triple7)] Gary is blue.[(triple8)] Gary is red.[(triple9 OR ((triple8) -> rule9))] Harry is big.[(triple10 OR ((triple11) -> rule4))] Harry is blue.[(triple11 OR ((((triple10) -> rule6) triple14) -> rule8) OR ((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule2)) -> rule8))] Harry is kind.[(triple12 OR ((triple13) -> rule5) OR ((((triple11) -> rule9)) -> rule5) OR ((((((((triple10) -> rule6) triple14) -> rule8)) -> rule9)) -> rule5) OR ((((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule2)) -> rule8)) -> rule9)) -> rule5))] Harry is red.[(triple13 OR ((triple11) -> rule9) OR ((((((triple10) -> rule6) triple14) -> rule8)) -> rule9) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule2)) -> rule8)) -> rule9))] Harry is white.[(triple14 OR ((((triple10) -> rule6)) -> rule2) OR ((((triple11) -> rule1)) -> rule2) OR ((((((triple11) -> rule4)) -> rule6)) -> rule2))] @1: Erin is big.[(((triple1) -> rule4) OR ((((triple2) -> rule3)) -> rule4) OR ((((triple4 triple6) -> rule8)) -> rule4) OR ((((triple4 ((triple4) -> rule2)) -> rule8)) -> rule4))] Fiona is white.[(((triple7) -> rule2))] Gary is big.[(((triple8) -> rule4))] Gary is kind.[(((triple9) -> rule5) OR ((((triple8) -> rule9)) -> rule5))] Gary is nice.[(((triple8) -> rule1) OR ((((triple8) -> rule4)) -> rule6))] Harry is green.[(((triple11 triple12) -> rule7) OR ((triple11 ((triple13) -> rule5)) -> rule7) OR ((triple11 ((((triple11) -> rule9)) -> rule5)) -> rule7) OR ((((((triple10) -> rule6) triple14) -> rule8) triple12) -> rule7) OR ((((((triple10) -> rule6) triple14) -> rule8) ((triple13) -> rule5)) -> rule7) OR ((((((triple10) -> rule6) triple14) -> rule8) ((((triple11) -> rule9)) -> rule5)) -> rule7) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule2)) -> rule8) triple12) -> rule7) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule2)) -> rule8) ((triple13) -> rule5)) -> rule7) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule2)) -> rule8) ((((triple11) -> rule9)) -> rule5)) -> rule7) OR ((triple11 ((((((((triple10) -> rule6) triple14) -> rule8)) -> rule9)) -> rule5)) -> rule7) OR ((((((triple10) -> rule6) triple14) -> rule8) ((((((((triple10) -> rule6) triple14) -> rule8)) -> rule9)) -> rule5)) -> rule7) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule2)) -> rule8) ((((((((triple10) -> rule6) triple14) -> rule8)) -> rule9)) -> rule5)) -> rule7) OR ((triple11 ((((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule2)) -> rule8)) -> rule9)) -> rule5)) -> rule7) OR ((((((triple10) -> rule6) triple14) -> rule8) ((((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule2)) -> rule8)) -> rule9)) -> rule5)) -> rule7) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule2)) -> rule8) ((((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule2)) -> rule8)) -> rule9)) -> rule5)) -> rule7))] Harry is nice.[(((triple10) -> rule6) OR ((triple11) -> rule1) OR ((((triple11) -> rule4)) -> rule6))] @2: Fiona is blue.[(((triple7 ((triple7) -> rule2)) -> rule8))] Gary is green.[(((triple8 ((triple9) -> rule5)) -> rule7) OR ((triple8 ((((triple8) -> rule9)) -> rule5)) -> rule7))] Gary is white.[(((((triple8) -> rule1)) -> rule2) OR ((((((triple8) -> rule4)) -> rule6)) -> rule2))] @3: Fiona is big.[(((((triple7 ((triple7) -> rule2)) -> rule8)) -> rule4))] Fiona is red.[(((((triple7 ((triple7) -> rule2)) -> rule8)) -> rule9))] @4: Fiona is kind.[(((((((triple7 ((triple7) -> rule2)) -> rule8)) -> rule9)) -> rule5))] @5: Fiona is green.[(((((triple7 ((triple7) -> rule2)) -> rule8) ((((((triple7 ((triple7) -> rule2)) -> rule8)) -> rule9)) -> rule5)) -> rule7))]