Anne is blue. Anne is rough. Anne is young. Charlie is big. Charlie is blue. Charlie is kind. Charlie is rough. Charlie is round. Charlie is white. Dave is big. Dave is blue. Dave is round. Dave is white. Fiona is kind. Fiona is white. Young, white things are round. All big, round things are kind. If something is blue and kind then it is young. Kind, white things are big. Blue things are young. If Charlie is round and Charlie is rough then Charlie is blue. Big, kind things are young. Big, blue things are kind.
Anne is white.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3 OR ((triple1) -> rule5))] Charlie is big.[(triple4 OR ((triple6 triple9) -> rule4))] Charlie is blue.[(triple5 OR ((triple8 triple7) -> rule6) OR ((((((triple4 triple6) -> rule7) triple9) -> rule1) triple7) -> rule6) OR ((((((((triple6 triple9) -> rule4) triple6) -> rule7) triple9) -> rule1) triple7) -> rule6))] Charlie is kind.[(triple6 OR ((triple4 triple5) -> rule8) OR ((triple4 triple8) -> rule2) OR ((triple4 ((triple8 triple7) -> rule6)) -> rule8) OR ((triple4 ((((triple5) -> rule5) triple9) -> rule1)) -> rule2))] Charlie is rough.[(triple7)] Charlie is round.[(triple8 OR ((((triple5) -> rule5) triple9) -> rule1) OR ((((triple4 triple6) -> rule7) triple9) -> rule1) OR ((((triple5 triple6) -> rule3) triple9) -> rule1) OR ((((triple4 ((triple4 triple5) -> rule8)) -> rule7) triple9) -> rule1) OR ((((triple5 ((triple4 triple5) -> rule8)) -> rule3) triple9) -> rule1) OR ((((((triple6 triple9) -> rule4) triple6) -> rule7) triple9) -> rule1) OR ((((((triple6 triple9) -> rule4) ((triple4 triple5) -> rule8)) -> rule7) triple9) -> rule1))] Charlie is white.[(triple9)] Dave is big.[(triple10)] Dave is blue.[(triple11)] Dave is round.[(triple12 OR ((((triple11) -> rule5) triple13) -> rule1) OR ((((triple10 ((triple10 triple11) -> rule8)) -> rule7) triple13) -> rule1) OR ((((triple11 ((triple10 triple11) -> rule8)) -> rule3) triple13) -> rule1))] Dave is white.[(triple13)] Fiona is kind.[(triple14)] Fiona is white.[(triple15)] @1: Charlie is young.[(((triple5) -> rule5) OR ((triple4 triple6) -> rule7) OR ((triple5 triple6) -> rule3) OR ((((triple8 triple7) -> rule6)) -> rule5) OR ((triple4 ((triple4 triple5) -> rule8)) -> rule7) OR ((triple4 ((triple4 triple8) -> rule2)) -> rule7) OR ((triple5 ((triple4 triple5) -> rule8)) -> rule3) OR ((triple5 ((triple4 triple8) -> rule2)) -> rule3) OR ((((triple6 triple9) -> rule4) triple6) -> rule7) OR ((((triple8 triple7) -> rule6) triple6) -> rule3) OR ((((triple6 triple9) -> rule4) ((triple4 triple5) -> rule8)) -> rule7) OR ((((triple6 triple9) -> rule4) ((triple4 triple8) -> rule2)) -> rule7) OR ((((triple8 triple7) -> rule6) ((triple4 triple5) -> rule8)) -> rule3) OR ((((triple8 triple7) -> rule6) ((triple4 triple8) -> rule2)) -> rule3) OR ((triple4 ((triple4 ((triple8 triple7) -> rule6)) -> rule8)) -> rule7) OR ((triple5 ((triple4 ((triple8 triple7) -> rule6)) -> rule8)) -> rule3) OR ((((triple6 triple9) -> rule4) ((triple4 ((triple8 triple7) -> rule6)) -> rule8)) -> rule7) OR ((((triple8 triple7) -> rule6) ((triple4 ((triple8 triple7) -> rule6)) -> rule8)) -> rule3))] Dave is kind.[(((triple10 triple11) -> rule8) OR ((triple10 triple12) -> rule2) OR ((triple10 ((((triple11) -> rule5) triple13) -> rule1)) -> rule2))] Dave is young.[(((triple11) -> rule5) OR ((triple10 ((triple10 triple11) -> rule8)) -> rule7) OR ((triple10 ((triple10 triple12) -> rule2)) -> rule7) OR ((triple11 ((triple10 triple11) -> rule8)) -> rule3) OR ((triple11 ((triple10 triple12) -> rule2)) -> rule3))] Fiona is big.[(((triple14 triple15) -> rule4))] @2: Fiona is young.[(((((triple14 triple15) -> rule4) triple14) -> rule7))] @3: Fiona is round.[(((((((triple14 triple15) -> rule4) triple14) -> rule7) triple15) -> rule1))]