Bob is green. Dave is red. Fiona is green. Gary is big. If Fiona is kind and Fiona is smart then Fiona is big. If someone is kind and red then they are smart. Big people are kind. All white people are red. If someone is nice then they are red. If someone is green then they are nice. Red people are big. Nice, green people are smart.
Dave is not nice.
@0: Bob is green.[(triple1)] Dave is red.[(triple2)] Fiona is green.[(triple3)] Gary is big.[(triple4)] @1: Bob is nice.[(((triple1) -> rule6))] Dave is big.[(((triple2) -> rule7))] Fiona is nice.[(((triple3) -> rule6))] Gary is kind.[(((triple4) -> rule3))] @2: Bob is red.[(((((triple1) -> rule6)) -> rule5))] Bob is smart.[(((((triple1) -> rule6) triple1) -> rule8) OR ((((((((((triple1) -> rule6)) -> rule5)) -> rule7)) -> rule3) ((((triple1) -> rule6)) -> rule5)) -> rule2))] Dave is kind.[(((((triple2) -> rule7)) -> rule3))] Fiona is red.[(((((triple3) -> rule6)) -> rule5))] Fiona is smart.[(((((triple3) -> rule6) triple3) -> rule8) OR ((((((((((triple3) -> rule6)) -> rule5)) -> rule7)) -> rule3) ((((triple3) -> rule6)) -> rule5)) -> rule2))] @3: Bob is big.[(((((((triple1) -> rule6)) -> rule5)) -> rule7))] Dave is smart.[(((((((triple2) -> rule7)) -> rule3) triple2) -> rule2))] Fiona is big.[(((((((triple3) -> rule6)) -> rule5)) -> rule7))] @4: Bob is kind.[(((((((((triple1) -> rule6)) -> rule5)) -> rule7)) -> rule3))] Fiona is kind.[(((((((((triple3) -> rule6)) -> rule5)) -> rule7)) -> rule3))]