Bob is cold. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is smart. Bob is young. Fiona is rough. Fiona is young. Gary is cold. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is smart. Gary is young. Young, rough people are cold. If Bob is rough then Bob is smart. If someone is nice and smart then they are rough. All red people are rough. If Bob is smart then Bob is young. If someone is green and young then they are rough. If someone is smart and rough then they are cold. Nice people are red.
Fiona is not red.
@0: Bob is cold.[(triple1 OR ((triple6 triple5) -> rule7) OR ((triple7 triple5) -> rule1) OR ((triple6 ((triple4) -> rule4)) -> rule7) OR ((triple6 ((triple2 triple7) -> rule6)) -> rule7) OR ((triple6 ((triple3 triple6) -> rule3)) -> rule7) OR ((triple7 ((triple4) -> rule4)) -> rule1) OR ((triple7 ((triple2 triple7) -> rule6)) -> rule1) OR ((triple7 ((triple3 triple6) -> rule3)) -> rule1) OR ((((triple5) -> rule2) triple5) -> rule7) OR ((((triple6) -> rule5) triple5) -> rule1) OR ((((triple5) -> rule2) ((triple4) -> rule4)) -> rule7) OR ((((triple5) -> rule2) ((triple2 triple7) -> rule6)) -> rule7) OR ((((triple5) -> rule2) ((triple3 triple6) -> rule3)) -> rule7) OR ((((triple6) -> rule5) ((triple4) -> rule4)) -> rule1) OR ((((triple6) -> rule5) ((triple2 triple7) -> rule6)) -> rule1) OR ((((triple6) -> rule5) ((triple3 triple6) -> rule3)) -> rule1) OR ((triple6 ((((triple3) -> rule8)) -> rule4)) -> rule7) OR ((triple6 ((triple2 ((triple6) -> rule5)) -> rule6)) -> rule7) OR ((triple7 ((((triple3) -> rule8)) -> rule4)) -> rule1) OR ((triple7 ((triple2 ((triple6) -> rule5)) -> rule6)) -> rule1) OR ((((((triple4) -> rule4)) -> rule2) triple5) -> rule7) OR ((((((triple5) -> rule2)) -> rule5) triple5) -> rule1) OR ((((((triple2 triple7) -> rule6)) -> rule2) triple5) -> rule7) OR ((((triple5) -> rule2) ((((triple3) -> rule8)) -> rule4)) -> rule7) OR ((((triple5) -> rule2) ((triple2 ((triple6) -> rule5)) -> rule6)) -> rule7) OR ((((triple6) -> rule5) ((((triple3) -> rule8)) -> rule4)) -> rule1) OR ((((triple6) -> rule5) ((triple2 ((triple6) -> rule5)) -> rule6)) -> rule1) OR ((((((triple4) -> rule4)) -> rule2) ((triple4) -> rule4)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple2 triple7) -> rule6)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple3 triple6) -> rule3)) -> rule7) OR ((((((triple5) -> rule2)) -> rule5) ((triple4) -> rule4)) -> rule1) OR ((((((triple5) -> rule2)) -> rule5) ((triple2 triple7) -> rule6)) -> rule1) OR ((((((triple5) -> rule2)) -> rule5) ((triple3 triple6) -> rule3)) -> rule1) OR ((((((triple2 triple7) -> rule6)) -> rule2) ((triple4) -> rule4)) -> rule7) OR ((((((triple2 triple7) -> rule6)) -> rule2) ((triple2 triple7) -> rule6)) -> rule7) OR ((((((triple2 triple7) -> rule6)) -> rule2) ((triple3 triple6) -> rule3)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((((triple3) -> rule8)) -> rule4)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple2 ((triple6) -> rule5)) -> rule6)) -> rule7) OR ((((((triple5) -> rule2)) -> rule5) ((((triple3) -> rule8)) -> rule4)) -> rule1) OR ((((((triple5) -> rule2)) -> rule5) ((triple2 ((triple6) -> rule5)) -> rule6)) -> rule1) OR ((((((triple2 triple7) -> rule6)) -> rule2) ((((triple3) -> rule8)) -> rule4)) -> rule7) OR ((((((triple2 triple7) -> rule6)) -> rule2) ((triple2 ((triple6) -> rule5)) -> rule6)) -> rule7) OR ((((((((triple3) -> rule8)) -> rule4)) -> rule2) triple5) -> rule7) OR ((((((((triple4) -> rule4)) -> rule2)) -> rule5) triple5) -> rule1) OR ((((((((triple3) -> rule8)) -> rule4)) -> rule2) ((triple4) -> rule4)) -> rule7) OR ((((((((triple3) -> rule8)) -> rule4)) -> rule2) ((triple2 triple7) -> rule6)) -> rule7) OR ((((((((triple3) -> rule8)) -> rule4)) -> rule2) ((triple3 triple6) -> rule3)) -> rule7) OR ((((((((triple4) -> rule4)) -> rule2)) -> rule5) ((triple4) -> rule4)) -> rule1) OR ((((((((triple4) -> rule4)) -> rule2)) -> rule5) ((triple2 triple7) -> rule6)) -> rule1) OR ((((((((triple4) -> rule4)) -> rule2)) -> rule5) ((triple3 triple6) -> rule3)) -> rule1) OR ((((((((triple3) -> rule8)) -> rule4)) -> rule2) ((((triple3) -> rule8)) -> rule4)) -> rule7) OR ((((((((triple3) -> rule8)) -> rule4)) -> rule2) ((triple2 ((triple6) -> rule5)) -> rule6)) -> rule7) OR ((((((((triple4) -> rule4)) -> rule2)) -> rule5) ((((triple3) -> rule8)) -> rule4)) -> rule1) OR ((((((((triple4) -> rule4)) -> rule2)) -> rule5) ((triple2 ((triple6) -> rule5)) -> rule6)) -> rule1) OR ((((((((((triple3) -> rule8)) -> rule4)) -> rule2)) -> rule5) triple5) -> rule1) OR ((((((((((triple3) -> rule8)) -> rule4)) -> rule2)) -> rule5) ((triple4) -> rule4)) -> rule1) OR ((((((((((triple3) -> rule8)) -> rule4)) -> rule2)) -> rule5) ((triple2 triple7) -> rule6)) -> rule1) OR ((((((((((triple3) -> rule8)) -> rule4)) -> rule2)) -> rule5) ((triple3 triple6) -> rule3)) -> rule1) OR ((((((((((triple3) -> rule8)) -> rule4)) -> rule2)) -> rule5) ((((triple3) -> rule8)) -> rule4)) -> rule1) OR ((((((((((triple3) -> rule8)) -> rule4)) -> rule2)) -> rule5) ((triple2 ((triple6) -> rule5)) -> rule6)) -> rule1))] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4 OR ((triple3) -> rule8))] Bob is rough.[(triple5 OR ((triple4) -> rule4) OR ((triple2 triple7) -> rule6) OR ((triple3 triple6) -> rule3) OR ((((triple3) -> rule8)) -> rule4) OR ((triple2 ((triple6) -> rule5)) -> rule6))] Bob is smart.[(triple6 OR ((triple5) -> rule2) OR ((((triple4) -> rule4)) -> rule2) OR ((((triple2 triple7) -> rule6)) -> rule2) OR ((((((triple3) -> rule8)) -> rule4)) -> rule2))] Bob is young.[(triple7 OR ((triple6) -> rule5) OR ((((triple5) -> rule2)) -> rule5) OR ((((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule4)) -> rule2)) -> rule5))] Fiona is rough.[(triple8)] Fiona is young.[(triple9)] Gary is cold.[(triple10 OR ((triple15 triple14) -> rule7) OR ((triple16 triple14) -> rule1) OR ((triple15 ((triple13) -> rule4)) -> rule7) OR ((triple15 ((triple11 triple16) -> rule6)) -> rule7) OR ((triple15 ((triple12 triple15) -> rule3)) -> rule7) OR ((triple16 ((triple13) -> rule4)) -> rule1) OR ((triple16 ((triple11 triple16) -> rule6)) -> rule1) OR ((triple16 ((triple12 triple15) -> rule3)) -> rule1) OR ((triple15 ((((triple12) -> rule8)) -> rule4)) -> rule7) OR ((triple16 ((((triple12) -> rule8)) -> rule4)) -> rule1))] Gary is green.[(triple11)] Gary is nice.[(triple12)] Gary is red.[(triple13 OR ((triple12) -> rule8))] Gary is rough.[(triple14 OR ((triple13) -> rule4) OR ((triple11 triple16) -> rule6) OR ((triple12 triple15) -> rule3) OR ((((triple12) -> rule8)) -> rule4))] Gary is smart.[(triple15)] Gary is young.[(triple16)] @1: Fiona is cold.[(((triple9 triple8) -> rule1))]