Anne is smart. Bob is big. Bob is rough. Dave is big. Dave is nice. Dave is rough. Dave is white. Fiona is nice. Fiona is white. Fiona is young. All white things are nice. Rough, blue things are nice. All rough things are smart. If something is nice and white then it is blue. Nice things are white. Big, young things are white. If something is big and smart then it is young. If Fiona is blue and Fiona is big then Fiona is rough.
Bob is young.
@0: Anne is smart.[(triple1)] Bob is big.[(triple2)] Bob is rough.[(triple3)] Dave is big.[(triple4)] Dave is nice.[(triple5 OR ((triple7) -> rule1) OR ((((triple4 ((triple4 ((triple6) -> rule3)) -> rule7)) -> rule6)) -> rule1))] Dave is rough.[(triple6)] Dave is white.[(triple7 OR ((triple5) -> rule5) OR ((triple4 ((triple4 ((triple6) -> rule3)) -> rule7)) -> rule6))] Fiona is nice.[(triple8 OR ((triple9) -> rule1))] Fiona is white.[(triple9 OR ((triple8) -> rule5))] Fiona is young.[(triple10)] @1: Bob is smart.[(((triple3) -> rule3))] Dave is blue.[(((triple5 triple7) -> rule4) OR ((triple5 ((triple5) -> rule5)) -> rule4) OR ((((triple7) -> rule1) triple7) -> rule4) OR ((((triple7) -> rule1) ((triple5) -> rule5)) -> rule4) OR ((triple5 ((triple4 ((triple4 ((triple6) -> rule3)) -> rule7)) -> rule6)) -> rule4) OR ((((triple7) -> rule1) ((triple4 ((triple4 ((triple6) -> rule3)) -> rule7)) -> rule6)) -> rule4) OR ((((((triple4 ((triple4 ((triple6) -> rule3)) -> rule7)) -> rule6)) -> rule1) triple7) -> rule4) OR ((((((triple4 ((triple4 ((triple6) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((triple5) -> rule5)) -> rule4) OR ((((((triple4 ((triple4 ((triple6) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((triple4 ((triple4 ((triple6) -> rule3)) -> rule7)) -> rule6)) -> rule4))] Dave is smart.[(((triple6) -> rule3))] Fiona is blue.[(((triple8 triple9) -> rule4) OR ((triple8 ((triple8) -> rule5)) -> rule4) OR ((((triple9) -> rule1) triple9) -> rule4) OR ((((triple9) -> rule1) ((triple8) -> rule5)) -> rule4))] @2: Bob is young.[(((triple2 ((triple3) -> rule3)) -> rule7))] Dave is young.[(((triple4 ((triple6) -> rule3)) -> rule7))] @3: Bob is white.[(((triple2 ((triple2 ((triple3) -> rule3)) -> rule7)) -> rule6))] @4: Bob is nice.[(((((triple2 ((triple2 ((triple3) -> rule3)) -> rule7)) -> rule6)) -> rule1))] @5: Bob is blue.[(((((((triple2 ((triple2 ((triple3) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((triple2 ((triple2 ((triple3) -> rule3)) -> rule7)) -> rule6)) -> rule4))]