Bob is kind. Bob is nice. Charlie is big. Charlie is kind. Charlie is nice. Charlie is smart. Charlie is white. Charlie is young. Dave is big. Dave is kind. Dave is nice. Dave is rough. Dave is smart. Dave is white. Dave is young. If someone is kind then they are nice. If someone is young and white then they are nice. If someone is white and nice then they are kind. If someone is kind and rough then they are white. Smart people are nice. All white people are young. All nice people are rough. All young people are rough.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
If someone is kind then they are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and white then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If someone is white and nice then they are kind.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and rough then they are white.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Smart people are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
All white people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Bob is nice.
True
1
proof
[(triple2 OR ((triple1) -> rule1))]
("Bob" "is" "nice" "+")
triple2
((triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Charlie is not big.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "big" "-")
triple3
Bob is rough.
True
2
proof
[(((triple2) -> rule7) OR ((((triple1) -> rule1)) -> rule7))]
("Bob" "is" "rough" "+")
((triple2) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Charlie is not rough.
False
2
inv-proof
[(((triple5) -> rule7) OR ((triple8) -> rule8) OR ((((triple4) -> rule1)) -> rule7) OR ((((triple6) -> rule5)) -> rule7) OR ((((triple7) -> rule6)) -> rule8) OR ((((triple8 triple7) -> rule2)) -> rule7) OR ((((((triple7) -> rule6) triple7) -> rule2)) -> rule7))]
("Charlie" "is" "rough" "-")
((triple5) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple8) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple6) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple8 triple7) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((((triple7) -> (rule6 % int3)) triple7) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Bob is white.
True
4
proof
[(((triple1 ((triple2) -> rule7)) -> rule4) OR ((triple1 ((((triple1) -> rule1)) -> rule7)) -> rule4))]
("Bob" "is" "white" "+")
((triple1 ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not white.
False
4
inv-proof
[(((triple1 ((triple2) -> rule7)) -> rule4) OR ((triple1 ((((triple1) -> rule1)) -> rule7)) -> rule4))]
("Bob" "is" "white" "-")
((triple1 ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
True
5
proof
[(((((triple1 ((triple2) -> rule7)) -> rule4)) -> rule6) OR ((((triple1 ((((triple1) -> rule1)) -> rule7)) -> rule4)) -> rule6))]
("Bob" "is" "young" "+")
((((triple1 ((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple1 ((((triple1) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is not young.
False
5
inv-proof
[(((((triple1 ((triple2) -> rule7)) -> rule4)) -> rule6) OR ((((triple1 ((((triple1) -> rule1)) -> rule7)) -> rule4)) -> rule6))]
("Bob" "is" "young" "-")
((((triple1 ((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple1 ((((triple1) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2 OR ((triple1) -> rule1))] Charlie is big.[(triple3)] Charlie is kind.[(triple4 OR ((triple7 triple5) -> rule3) OR ((triple7 ((triple6) -> rule5)) -> rule3) OR ((triple7 ((triple8 triple7) -> rule2)) -> rule3) OR ((triple7 ((((triple7) -> rule6) triple7) -> rule2)) -> rule3))] Charlie is nice.[(triple5 OR ((triple4) -> rule1) OR ((triple6) -> rule5) OR ((triple8 triple7) -> rule2) OR ((((triple7) -> rule6) triple7) -> rule2) OR ((triple8 ((triple4 ((triple8) -> rule8)) -> rule4)) -> rule2) OR ((((triple7) -> rule6) ((triple4 ((triple8) -> rule8)) -> rule4)) -> rule2))] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple4 ((triple5) -> rule7)) -> rule4) OR ((triple4 ((triple8) -> rule8)) -> rule4) OR ((triple4 ((((triple4) -> rule1)) -> rule7)) -> rule4) OR ((triple4 ((((triple6) -> rule5)) -> rule7)) -> rule4))] Charlie is young.[(triple8 OR ((triple7) -> rule6) OR ((((triple4 ((triple5) -> rule7)) -> rule4)) -> rule6) OR ((((triple4 ((((triple4) -> rule1)) -> rule7)) -> rule4)) -> rule6) OR ((((triple4 ((((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule6))] Dave is big.[(triple9)] Dave is kind.[(triple10 OR ((triple14 triple11) -> rule3) OR ((triple14 ((triple13) -> rule5)) -> rule3) OR ((triple14 ((triple15 triple14) -> rule2)) -> rule3) OR ((triple14 ((((triple14) -> rule6) triple14) -> rule2)) -> rule3))] Dave is nice.[(triple11 OR ((triple10) -> rule1) OR ((triple13) -> rule5) OR ((triple15 triple14) -> rule2) OR ((triple15 ((triple10 triple12) -> rule4)) -> rule2) OR ((((triple14) -> rule6) triple14) -> rule2) OR ((((triple14) -> rule6) ((triple10 triple12) -> rule4)) -> rule2) OR ((triple15 ((triple10 ((triple15) -> rule8)) -> rule4)) -> rule2) OR ((((((triple10 triple12) -> rule4)) -> rule6) triple14) -> rule2) OR ((((triple14) -> rule6) ((triple10 ((triple15) -> rule8)) -> rule4)) -> rule2) OR ((((((triple10 triple12) -> rule4)) -> rule6) ((triple10 triple12) -> rule4)) -> rule2) OR ((((((triple10 triple12) -> rule4)) -> rule6) ((triple10 ((triple15) -> rule8)) -> rule4)) -> rule2))] Dave is rough.[(triple12 OR ((triple11) -> rule7) OR ((triple15) -> rule8) OR ((((triple10) -> rule1)) -> rule7) OR ((((triple13) -> rule5)) -> rule7) OR ((((triple14) -> rule6)) -> rule8) OR ((((triple15 triple14) -> rule2)) -> rule7) OR ((((((triple14) -> rule6) triple14) -> rule2)) -> rule7))] Dave is smart.[(triple13)] Dave is white.[(triple14 OR ((triple10 triple12) -> rule4) OR ((triple10 ((triple11) -> rule7)) -> rule4) OR ((triple10 ((triple15) -> rule8)) -> rule4) OR ((triple10 ((((triple10) -> rule1)) -> rule7)) -> rule4) OR ((triple10 ((((triple13) -> rule5)) -> rule7)) -> rule4))] Dave is young.[(triple15 OR ((triple14) -> rule6) OR ((((triple10 triple12) -> rule4)) -> rule6) OR ((((triple10 ((triple11) -> rule7)) -> rule4)) -> rule6) OR ((((triple10 ((((triple10) -> rule1)) -> rule7)) -> rule4)) -> rule6) OR ((((triple10 ((((triple13) -> rule5)) -> rule7)) -> rule4)) -> rule6))] @1: Bob is rough.[(((triple2) -> rule7) OR ((((triple1) -> rule1)) -> rule7))] Charlie is rough.[(((triple5) -> rule7) OR ((triple8) -> rule8) OR ((((triple4) -> rule1)) -> rule7) OR ((((triple6) -> rule5)) -> rule7) OR ((((triple7) -> rule6)) -> rule8) OR ((((triple8 triple7) -> rule2)) -> rule7) OR ((((((triple7) -> rule6) triple7) -> rule2)) -> rule7))] @2: Bob is white.[(((triple1 ((triple2) -> rule7)) -> rule4) OR ((triple1 ((((triple1) -> rule1)) -> rule7)) -> rule4))] @3: Bob is young.[(((((triple1 ((triple2) -> rule7)) -> rule4)) -> rule6) OR ((((triple1 ((((triple1) -> rule1)) -> rule7)) -> rule4)) -> rule6))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
((triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
((triple7 triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple7 ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple7 ((triple8 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple7 ((((triple7) -> (rule6 % int3)) triple7) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
((triple4) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple6) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple8 triple7) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple7) -> (rule6 % int2)) triple7) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple8 ((triple4 ((triple8) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple7) -> (rule6 % int4)) ((triple4 ((triple8) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
((triple4 ((triple5) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((triple4 ((triple8) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((triple4 ((((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple4 ((((triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple8
((triple7) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple4 ((triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple4 ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((triple4 ((((triple6) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple10
((triple14 triple11) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple14 ((triple13) -> (rule5 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple14 ((triple15 triple14) -> (rule2 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple14 ((((triple14) -> (rule6 % int3)) triple14) -> (rule2 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
triple11
((triple10) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple13) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple15 triple14) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple15 ((triple10 triple12) -> (rule4 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple14) -> (rule6 % int2)) triple14) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple14) -> (rule6 % int3)) ((triple10 triple12) -> (rule4 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((triple15 ((triple10 ((triple15) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple10 triple12) -> (rule4 % int3))) -> (rule6 % int2)) triple14) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple14) -> (rule6 % int4)) ((triple10 ((triple15) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((triple10 triple12) -> (rule4 % int3))) -> (rule6 % int2)) ((triple10 triple12) -> (rule4 % int3))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple10 triple12) -> (rule4 % int4))) -> (rule6 % int3)) ((triple10 ((triple15) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
triple12
((triple11) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple15) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple13) -> (rule5 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple14) -> (rule6 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple15 triple14) -> (rule2 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((((triple14) -> (rule6 % int3)) triple14) -> (rule2 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
triple13
Dave is white.
("Dave" "is" "white" "+")
triple14
((triple10 triple12) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple10 ((triple11) -> (rule7 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((triple10 ((triple15) -> (rule8 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((triple10 ((((triple10) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple10 ((((triple13) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
triple15
((triple14) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple10 triple12) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple10 ((triple11) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple10 ((((triple10) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((triple10 ((((triple13) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple8) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple6) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple8 triple7) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((((triple7) -> (rule6 % int3)) triple7) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
((triple1 ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((triple1 ((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple1 ((((triple1) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4