Anne is red. Bob is big. Bob is blue. Bob is quiet. Bob is red. Bob is smart. Bob is white. Bob is young. Fiona is quiet. Fiona is red. Fiona is white. Fiona is young. If something is blue then it is quiet. If something is smart and young then it is blue. If something is big then it is smart. All quiet things are blue. All blue things are big. Red, white things are young.
Fiona is smart.
@0: Anne is red.[(triple1)] Bob is big.[(triple2 OR ((triple3) -> rule5) OR ((((triple4) -> rule4)) -> rule5) OR ((((triple6 triple8) -> rule2)) -> rule5) OR ((((triple6 ((triple5 triple7) -> rule6)) -> rule2)) -> rule5))] Bob is blue.[(triple3 OR ((triple4) -> rule4) OR ((triple6 triple8) -> rule2) OR ((triple6 ((triple5 triple7) -> rule6)) -> rule2) OR ((((triple2) -> rule3) triple8) -> rule2) OR ((((triple2) -> rule3) ((triple5 triple7) -> rule6)) -> rule2))] Bob is quiet.[(triple4 OR ((triple3) -> rule1) OR ((((triple6 triple8) -> rule2)) -> rule1) OR ((((triple6 ((triple5 triple7) -> rule6)) -> rule2)) -> rule1) OR ((((((triple2) -> rule3) triple8) -> rule2)) -> rule1) OR ((((((triple2) -> rule3) ((triple5 triple7) -> rule6)) -> rule2)) -> rule1))] Bob is red.[(triple5)] Bob is smart.[(triple6 OR ((triple2) -> rule3) OR ((((triple3) -> rule5)) -> rule3) OR ((((((triple4) -> rule4)) -> rule5)) -> rule3))] Bob is white.[(triple7)] Bob is young.[(triple8 OR ((triple5 triple7) -> rule6))] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12 OR ((triple10 triple11) -> rule6))] @1: Fiona is blue.[(((triple9) -> rule4))] @2: Fiona is big.[(((((triple9) -> rule4)) -> rule5))] @3: Fiona is smart.[(((((((triple9) -> rule4)) -> rule5)) -> rule3))]