Bob is green. Bob is quiet. Bob is white. Fiona is green. Gary is kind. Gary is quiet. Harry is kind. All red people are green. Red people are quiet. All big, rough people are green. Green people are red. If Gary is quiet and Gary is green then Gary is big. If Gary is quiet and Gary is big then Gary is rough. If someone is quiet then they are red. Big, green people are kind.
Gary is kind.
@0: Bob is green.[(triple1 OR ((((triple2) -> rule7)) -> rule1))] Bob is quiet.[(triple2 OR ((((triple1) -> rule4)) -> rule2))] Bob is white.[(triple3)] Fiona is green.[(triple4)] Gary is kind.[(triple5 OR ((((triple6 ((((triple6) -> rule7)) -> rule1)) -> rule5) ((((triple6) -> rule7)) -> rule1)) -> rule8))] Gary is quiet.[(triple6)] Harry is kind.[(triple7)] @1: Bob is red.[(((triple1) -> rule4) OR ((triple2) -> rule7))] Fiona is red.[(((triple4) -> rule4))] Gary is red.[(((triple6) -> rule7))] @2: Fiona is quiet.[(((((triple4) -> rule4)) -> rule2))] Gary is green.[(((((triple6) -> rule7)) -> rule1))] @3: Gary is big.[(((triple6 ((((triple6) -> rule7)) -> rule1)) -> rule5))] @4: Gary is rough.[(((triple6 ((triple6 ((((triple6) -> rule7)) -> rule1)) -> rule5)) -> rule6))]