Bob is blue. Bob is green. Bob is nice. Bob is red. Erin is blue. Erin is cold. Erin is kind. Erin is nice. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is rough. Red people are rough. Blue, green people are kind. All kind people are red. Rough people are kind. Green people are red. If someone is kind then they are nice. If someone is rough and nice then they are red. If someone is green then they are kind.
Gary is kind.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((((triple2) -> rule8)) -> rule6) OR ((((triple1 triple2) -> rule2)) -> rule6) OR ((((((triple4) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple2) -> rule5)) -> rule1)) -> rule4)) -> rule6))] Bob is red.[(triple4 OR ((triple2) -> rule5) OR ((((triple2) -> rule8)) -> rule3) OR ((((triple1 triple2) -> rule2)) -> rule3))] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8 OR ((triple7) -> rule6))] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11)] Gary is kind.[(triple12 OR ((triple11) -> rule8) OR ((triple15) -> rule4) OR ((triple9 triple11) -> rule2) OR ((((triple14) -> rule1)) -> rule4) OR ((((((triple11) -> rule5)) -> rule1)) -> rule4))] Gary is nice.[(triple13 OR ((triple12) -> rule6) OR ((((triple11) -> rule8)) -> rule6) OR ((((triple15) -> rule4)) -> rule6) OR ((((triple9 triple11) -> rule2)) -> rule6) OR ((((((triple14) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple11) -> rule5)) -> rule1)) -> rule4)) -> rule6))] Gary is red.[(triple14 OR ((triple11) -> rule5) OR ((triple12) -> rule3) OR ((triple15 triple13) -> rule7) OR ((((triple11) -> rule8)) -> rule3) OR ((((triple15) -> rule4)) -> rule3) OR ((((triple9 triple11) -> rule2)) -> rule3) OR ((triple15 ((triple12) -> rule6)) -> rule7) OR ((triple15 ((((triple11) -> rule8)) -> rule6)) -> rule7) OR ((triple15 ((((triple15) -> rule4)) -> rule6)) -> rule7) OR ((triple15 ((((triple9 triple11) -> rule2)) -> rule6)) -> rule7))] Gary is rough.[(triple15 OR ((triple14) -> rule1) OR ((((triple11) -> rule5)) -> rule1) OR ((((triple12) -> rule3)) -> rule1) OR ((((((triple11) -> rule8)) -> rule3)) -> rule1) OR ((((((triple9 triple11) -> rule2)) -> rule3)) -> rule1))] @1: Bob is kind.[(((triple2) -> rule8) OR ((triple1 triple2) -> rule2) OR ((((triple4) -> rule1)) -> rule4) OR ((((((triple2) -> rule5)) -> rule1)) -> rule4))] Bob is rough.[(((triple4) -> rule1) OR ((((triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule8)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule2)) -> rule3)) -> rule1))] Erin is red.[(((triple7) -> rule3))] @2: Erin is rough.[(((((triple7) -> rule3)) -> rule1))]