Bob is big. Bob is cold. Bob is kind. Bob is nice. Bob is quiet. Bob is round. Charlie is kind. Charlie is nice. Charlie is red. Fiona is big. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. If someone is big and quiet then they are round. If Fiona is big then Fiona is red. All nice people are kind. If someone is round and kind then they are red. If Fiona is nice then Fiona is big. If Bob is round then Bob is nice. Quiet, round people are kind. All kind people are cold.
Charlie is big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple3) -> rule8) OR ((((triple4) -> rule3)) -> rule8) OR ((((triple5 triple6) -> rule7)) -> rule8) OR ((((((triple6) -> rule6)) -> rule3)) -> rule8) OR ((((triple5 ((triple1 triple5) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple1 triple5) -> rule1)) -> rule6)) -> rule3)) -> rule8))] Bob is kind.[(triple3 OR ((triple4) -> rule3) OR ((triple5 triple6) -> rule7) OR ((((triple6) -> rule6)) -> rule3) OR ((triple5 ((triple1 triple5) -> rule1)) -> rule7) OR ((((((triple1 triple5) -> rule1)) -> rule6)) -> rule3))] Bob is nice.[(triple4 OR ((triple6) -> rule6) OR ((((triple1 triple5) -> rule1)) -> rule6))] Bob is quiet.[(triple5)] Bob is round.[(triple6 OR ((triple1 triple5) -> rule1))] Charlie is kind.[(triple7 OR ((triple8) -> rule3))] Charlie is nice.[(triple8)] Charlie is red.[(triple9)] Fiona is big.[(triple10 OR ((triple13) -> rule5))] Fiona is cold.[(triple11 OR ((triple12) -> rule8) OR ((((triple13) -> rule3)) -> rule8))] Fiona is kind.[(triple12 OR ((triple13) -> rule3))] Fiona is nice.[(triple13)] Fiona is red.[(triple14 OR ((triple10) -> rule2) OR ((triple15 triple12) -> rule4) OR ((((triple13) -> rule5)) -> rule2) OR ((triple15 ((triple13) -> rule3)) -> rule4))] Fiona is round.[(triple15)] @1: Bob is red.[(((triple6 triple3) -> rule4) OR ((triple6 ((triple4) -> rule3)) -> rule4) OR ((triple6 ((triple5 triple6) -> rule7)) -> rule4) OR ((((triple1 triple5) -> rule1) triple3) -> rule4) OR ((((triple1 triple5) -> rule1) ((triple4) -> rule3)) -> rule4) OR ((((triple1 triple5) -> rule1) ((triple5 triple6) -> rule7)) -> rule4) OR ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule4) OR ((triple6 ((triple5 ((triple1 triple5) -> rule1)) -> rule7)) -> rule4) OR ((((triple1 triple5) -> rule1) ((((triple6) -> rule6)) -> rule3)) -> rule4) OR ((((triple1 triple5) -> rule1) ((triple5 ((triple1 triple5) -> rule1)) -> rule7)) -> rule4) OR ((triple6 ((((((triple1 triple5) -> rule1)) -> rule6)) -> rule3)) -> rule4) OR ((((triple1 triple5) -> rule1) ((((((triple1 triple5) -> rule1)) -> rule6)) -> rule3)) -> rule4))] Charlie is cold.[(((triple7) -> rule8) OR ((((triple8) -> rule3)) -> rule8))]