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