Bob is cold. Bob is green. Bob is red. Charlie is blue. Charlie is green. Charlie is red. Charlie is smart. Fiona is blue. Fiona is green. Fiona is kind. Gary is blue. Gary is green. All red, green things are big. If something is smart and red then it is big. Blue, green things are kind. If something is red then it is big. All smart things are big. All smart, cold things are green. If Charlie is big then Charlie is cold. If something is smart and kind then it is big.
Gary is not big.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Charlie is blue.[(triple4)] Charlie is green.[(triple5 OR ((triple7 ((((triple6) -> rule4)) -> rule7)) -> rule6) OR ((triple7 ((((triple7) -> rule5)) -> rule7)) -> rule6) OR ((triple7 ((((triple7 triple6) -> rule2)) -> rule7)) -> rule6))] Charlie is red.[(triple6)] Charlie is smart.[(triple7)] Fiona is blue.[(triple8)] Fiona is green.[(triple9)] Fiona is kind.[(triple10 OR ((triple8 triple9) -> rule3))] Gary is blue.[(triple11)] Gary is green.[(triple12)] @1: Bob is big.[(((triple3) -> rule4) OR ((triple3 triple2) -> rule1))] Charlie is big.[(((triple6) -> rule4) OR ((triple7) -> rule5) OR ((triple6 triple5) -> rule1) OR ((triple7 triple6) -> rule2) OR ((triple7 ((triple4 triple5) -> rule3)) -> rule8))] Charlie is kind.[(((triple4 triple5) -> rule3) OR ((triple4 ((triple7 ((((triple6) -> rule4)) -> rule7)) -> rule6)) -> rule3) OR ((triple4 ((triple7 ((((triple7) -> rule5)) -> rule7)) -> rule6)) -> rule3) OR ((triple4 ((triple7 ((((triple7 triple6) -> rule2)) -> rule7)) -> rule6)) -> rule3))] Gary is kind.[(((triple11 triple12) -> rule3))] @2: Charlie is cold.[(((((triple6) -> rule4)) -> rule7) OR ((((triple7) -> rule5)) -> rule7) OR ((((triple6 triple5) -> rule1)) -> rule7) OR ((((triple7 triple6) -> rule2)) -> rule7) OR ((((triple7 ((triple4 triple5) -> rule3)) -> rule8)) -> rule7))]