Bob is big. Bob is red. Bob is smart. Bob is young. Fiona is big. Fiona is quiet. Fiona is red. Quiet, white people are young. All quiet people are young. If someone is white then they are red. All young, quiet people are white. All smart, kind people are white. Smart, red people are kind. Red, white people are smart. If Bob is smart then Bob is quiet.
Fiona is red.
@0: Bob is big.[(triple1)] Bob is red.[(triple2 OR ((((triple4 ((triple3) -> rule8)) -> rule4)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule2) ((triple3) -> rule8)) -> rule4)) -> rule3))] Bob is smart.[(triple3)] Bob is young.[(triple4 OR ((((triple3) -> rule8)) -> rule2) OR ((((triple3) -> rule8) ((triple3 ((triple3 triple2) -> rule6)) -> rule5)) -> rule1))] Fiona is big.[(triple5)] Fiona is quiet.[(triple6)] Fiona is red.[(triple7 OR ((((((triple6) -> rule2) triple6) -> rule4)) -> rule3))] @1: Bob is kind.[(((triple3 triple2) -> rule6) OR ((triple3 ((((triple4 ((triple3) -> rule8)) -> rule4)) -> rule3)) -> rule6) OR ((triple3 ((((((((triple3) -> rule8)) -> rule2) ((triple3) -> rule8)) -> rule4)) -> rule3)) -> rule6))] Bob is quiet.[(((triple3) -> rule8))] Fiona is young.[(((triple6) -> rule2))] @2: Bob is white.[(((triple3 ((triple3 triple2) -> rule6)) -> rule5) OR ((triple4 ((triple3) -> rule8)) -> rule4) OR ((((((triple3) -> rule8)) -> rule2) ((triple3) -> rule8)) -> rule4))] Fiona is white.[(((((triple6) -> rule2) triple6) -> rule4))] @3: Fiona is smart.[(((triple7 ((((triple6) -> rule2) triple6) -> rule4)) -> rule7) OR ((((((((triple6) -> rule2) triple6) -> rule4)) -> rule3) ((((triple6) -> rule2) triple6) -> rule4)) -> rule7))] @4: Fiona is kind.[(((((triple7 ((((triple6) -> rule2) triple6) -> rule4)) -> rule7) triple7) -> rule6) OR ((((triple7 ((((triple6) -> rule2) triple6) -> rule4)) -> rule7) ((((((triple6) -> rule2) triple6) -> rule4)) -> rule3)) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule4)) -> rule3) ((((triple6) -> rule2) triple6) -> rule4)) -> rule7) triple7) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule4)) -> rule3) ((((triple6) -> rule2) triple6) -> rule4)) -> rule7) ((((((triple6) -> rule2) triple6) -> rule4)) -> rule3)) -> rule6))]