Bob is big. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Dave is big. Dave is blue. Dave is kind. Dave is red. Dave is rough. All kind, rough people are blue. If Bob is quiet then Bob is rough. If someone is blue then they are quiet. All big people are smart. If someone is blue and rough then they are kind. All kind, red people are big.
Bob is big.
@0: Bob is big.[(triple1 OR ((triple2 triple4) -> rule6))] Bob is kind.[(triple2)] Bob is quiet.[(triple3 OR ((((triple2 triple5) -> rule1)) -> rule3))] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple3) -> rule2))] Dave is big.[(triple6 OR ((triple8 triple9) -> rule6) OR ((((triple7 triple10) -> rule5) triple9) -> rule6))] Dave is blue.[(triple7 OR ((triple8 triple10) -> rule1))] Dave is kind.[(triple8 OR ((triple7 triple10) -> rule5))] Dave is red.[(triple9)] Dave is rough.[(triple10)] @1: Bob is blue.[(((triple2 triple5) -> rule1) OR ((triple2 ((triple3) -> rule2)) -> rule1))] Bob is smart.[(((triple1) -> rule4) OR ((((triple2 triple4) -> rule6)) -> rule4))] Dave is quiet.[(((triple7) -> rule3) OR ((((triple8 triple10) -> rule1)) -> rule3))] Dave is smart.[(((triple6) -> rule4) OR ((((triple8 triple9) -> rule6)) -> rule4) OR ((((((triple7 triple10) -> rule5) triple9) -> rule6)) -> rule4))]