Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is rough. Bob is young. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is rough. Erin is young. If someone is cold then they are green. If someone is kind then they are green. Cold, young people are green. If someone is young and rough then they are green. If someone is cold and nice then they are green. If Bob is blue and Bob is cold then Bob is nice. If Erin is nice then Erin is cold. If Erin is rough and Erin is not young then Erin is blue.
Bob is young.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((triple2) -> rule1) OR ((triple4) -> rule2) OR ((triple2 triple5) -> rule5) OR ((triple2 triple7) -> rule3) OR ((triple7 triple6) -> rule4) OR ((triple2 ((triple1 triple2) -> rule6)) -> rule5))] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple1 triple2) -> rule6))] Bob is rough.[(triple6)] Bob is young.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9 OR ((triple12) -> rule7))] Erin is green.[(triple10 OR ((triple11) -> rule2) OR ((triple9) -> rule1) OR ((triple14 triple13) -> rule4) OR ((triple9 triple12) -> rule5) OR ((triple9 triple14) -> rule3) OR ((((triple12) -> rule7)) -> rule1) OR ((((triple12) -> rule7) triple12) -> rule5) OR ((((triple12) -> rule7) triple14) -> rule3))] Erin is kind.[(triple11)] Erin is nice.[(triple12)] Erin is rough.[(triple13)] Erin is young.[(triple14)]