Charlie is green. Erin is quiet. Erin is white. Fiona is cold. Fiona is green. Fiona is white. Gary is green. If Erin is quiet and Erin is cold then Erin is green. Young, red people are big. If someone is big and cold then they are young. Green people are red. All red, green people are big. If someone is young and quiet then they are cold. Quiet people are cold. All big, quiet people are white.
Charlie is not red.
@0: Charlie is green.[(triple1)] Erin is quiet.[(triple2)] Erin is white.[(triple3 OR ((((((((triple2 ((triple2) -> rule7)) -> rule1)) -> rule4) ((triple2 ((triple2) -> rule7)) -> rule1)) -> rule5) triple2) -> rule8))] Fiona is cold.[(triple4)] Fiona is green.[(triple5)] Fiona is white.[(triple6)] Gary is green.[(triple7)] @1: Charlie is red.[(((triple1) -> rule4))] Erin is cold.[(((triple2) -> rule7))] Fiona is red.[(((triple5) -> rule4))] Gary is red.[(((triple7) -> rule4))] @2: Charlie is big.[(((((triple1) -> rule4) triple1) -> rule5))] Erin is green.[(((triple2 ((triple2) -> rule7)) -> rule1))] Fiona is big.[(((((triple5) -> rule4) triple5) -> rule5))] Gary is big.[(((((triple7) -> rule4) triple7) -> rule5))] @3: Erin is red.[(((((triple2 ((triple2) -> rule7)) -> rule1)) -> rule4))] Fiona is young.[(((((((triple5) -> rule4) triple5) -> rule5) triple4) -> rule3))] @4: Erin is big.[(((((((triple2 ((triple2) -> rule7)) -> rule1)) -> rule4) ((triple2 ((triple2) -> rule7)) -> rule1)) -> rule5))] @5: Erin is young.[(((((((((triple2 ((triple2) -> rule7)) -> rule1)) -> rule4) ((triple2 ((triple2) -> rule7)) -> rule1)) -> rule5) ((triple2) -> rule7)) -> rule3))]