Bob is cold. Bob is nice. Bob is red. Bob is young. Dave is cold. Dave is red. Erin is not cold. Erin is red. Erin is young. Gary is kind. Red, cold people are rough. If someone is red and not nice then they are cold. If Erin is kind then Erin is rough. If someone is kind then they are not blue. Rough people are blue. If someone is nice and young then they are red. Blue people are not kind. Nice, blue people are not kind.
Dave is nice.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3 OR ((triple2 triple4) -> rule6))] Bob is young.[(triple4)] Dave is cold.[(triple5)] Dave is red.[(triple6)] Erin is not cold.[(triple7)] Erin is red.[(triple8)] Erin is young.[(triple9)] Gary is kind.[(triple10)] @1: Bob is rough.[(((triple3 triple1) -> rule1) OR ((((triple2 triple4) -> rule6) triple1) -> rule1))] Dave is rough.[(((triple6 triple5) -> rule1))] Gary is not blue.[(((triple10) -> rule4))] @2: Bob is blue.[(((((triple3 triple1) -> rule1)) -> rule5) OR ((((((triple2 triple4) -> rule6) triple1) -> rule1)) -> rule5))] Dave is blue.[(((((triple6 triple5) -> rule1)) -> rule5))] @3: Bob is not kind.[(((((((triple3 triple1) -> rule1)) -> rule5)) -> rule7) OR ((triple2 ((((triple3 triple1) -> rule1)) -> rule5)) -> rule8) OR ((((((((triple2 triple4) -> rule6) triple1) -> rule1)) -> rule5)) -> rule7) OR ((triple2 ((((((triple2 triple4) -> rule6) triple1) -> rule1)) -> rule5)) -> rule8))] Dave is not kind.[(((((((triple6 triple5) -> rule1)) -> rule5)) -> rule7))]