Charlie is kind. Charlie is nice. Charlie is quiet. Dave is kind. Dave is quiet. Dave is smart. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is smart. Green people are white. Big, nice people are white. If Dave is big then Dave is nice. Kind, quiet people are big. All green people are kind. White people are smart. Quiet, white people are green. If someone is quiet then they are nice.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Big, nice people are white.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If Dave is big then Dave is nice.
((("Dave" "is" "big" "+")) -> ("Dave" "is" "nice" "+"))
Kind, quiet people are big.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
All green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
White people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
Quiet, white people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If someone is quiet then they are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
Dave is quiet.
True
1
proof
[(triple5)]
("Dave" "is" "quiet" "+")
triple5
Dave is not smart.
False
1
inv-proof
[(triple6 OR ((((((triple4 triple5) -> rule4) ((triple5) -> rule8)) -> rule2)) -> rule6) OR ((((((triple4 triple5) -> rule4) ((((triple4 triple5) -> rule4)) -> rule3)) -> rule2)) -> rule6))]
("Dave" "is" "smart" "-")
triple6
((((((triple4 triple5) -> (rule4 % int4)) ((triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple4 triple5) -> (rule4 % int4)) ((((triple4 triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is big.
True
3
proof
[(((triple4 triple5) -> rule4))]
("Dave" "is" "big" "+")
((triple4 triple5) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple5) -> rule8) OR ((((triple4 triple5) -> rule4)) -> rule3))]
("Dave" "is" "nice" "-")
((triple5) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple4 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Charlie is white.
True
5
proof
[(((((triple1 triple3) -> rule4) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((triple3) -> rule8)) -> rule2))]
("Charlie" "is" "white" "+")
((((triple1 triple3) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple1 triple3) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not white.
False
5
inv-proof
[(((((triple1 triple3) -> rule4) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((triple3) -> rule8)) -> rule2))]
("Charlie" "is" "white" "-")
((((triple1 triple3) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple1 triple3) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Dave is green.
True
8
proof
[(((triple5 ((((triple4 triple5) -> rule4) ((triple5) -> rule8)) -> rule2)) -> rule7) OR ((triple5 ((((triple4 triple5) -> rule4) ((((triple4 triple5) -> rule4)) -> rule3)) -> rule2)) -> rule7))]
("Dave" "is" "green" "+")
((triple5 ((((triple4 triple5) -> (rule4 % int4)) ((triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((triple5 ((((triple4 triple5) -> (rule4 % int4)) ((((triple4 triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Charlie is not green.
False
7
inv-proof
[(((triple3 ((((triple1 triple3) -> rule4) triple2) -> rule2)) -> rule7) OR ((triple3 ((((triple1 triple3) -> rule4) ((triple3) -> rule8)) -> rule2)) -> rule7))]
("Charlie" "is" "green" "-")
((triple3 ((((triple1 triple3) -> (rule4 % int3)) triple2) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple3 ((((triple1 triple3) -> (rule4 % int4)) ((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2 OR ((triple3) -> rule8))] Charlie is quiet.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is smart.[(triple6 OR ((((((triple4 triple5) -> rule4) ((triple5) -> rule8)) -> rule2)) -> rule6) OR ((((((triple4 triple5) -> rule4) ((((triple4 triple5) -> rule4)) -> rule3)) -> rule2)) -> rule6))] Harry is big.[(triple7 OR ((triple9 triple11) -> rule4) OR ((((triple8) -> rule5) triple11) -> rule4))] Harry is green.[(triple8 OR ((triple11 ((triple7 triple10) -> rule2)) -> rule7) OR ((triple11 ((triple7 ((triple11) -> rule8)) -> rule2)) -> rule7) OR ((triple11 ((((triple9 triple11) -> rule4) triple10) -> rule2)) -> rule7) OR ((triple11 ((((triple9 triple11) -> rule4) ((triple11) -> rule8)) -> rule2)) -> rule7))] Harry is kind.[(triple9 OR ((triple8) -> rule5) OR ((((triple11 ((triple7 triple10) -> rule2)) -> rule7)) -> rule5) OR ((((triple11 ((triple7 ((triple11) -> rule8)) -> rule2)) -> rule7)) -> rule5))] Harry is nice.[(triple10 OR ((triple11) -> rule8))] Harry is quiet.[(triple11)] Harry is smart.[(triple12 OR ((((triple8) -> rule1)) -> rule6) OR ((((triple7 triple10) -> rule2)) -> rule6) OR ((((triple7 ((triple11) -> rule8)) -> rule2)) -> rule6) OR ((((((triple9 triple11) -> rule4) triple10) -> rule2)) -> rule6) OR ((((((triple9 triple11) -> rule4) ((triple11) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple8) -> rule5) triple11) -> rule4) triple10) -> rule2)) -> rule6) OR ((((((((triple8) -> rule5) triple11) -> rule4) ((triple11) -> rule8)) -> rule2)) -> rule6))] @1: Charlie is big.[(((triple1 triple3) -> rule4))] Dave is big.[(((triple4 triple5) -> rule4))] Dave is nice.[(((triple5) -> rule8) OR ((((triple4 triple5) -> rule4)) -> rule3))] Harry is white.[(((triple8) -> rule1) OR ((triple7 triple10) -> rule2) OR ((triple7 ((triple11) -> rule8)) -> rule2) OR ((((triple9 triple11) -> rule4) triple10) -> rule2) OR ((((triple9 triple11) -> rule4) ((triple11) -> rule8)) -> rule2) OR ((((((triple8) -> rule5) triple11) -> rule4) triple10) -> rule2) OR ((((((triple8) -> rule5) triple11) -> rule4) ((triple11) -> rule8)) -> rule2))] @2: Charlie is white.[(((((triple1 triple3) -> rule4) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((triple3) -> rule8)) -> rule2))] Dave is white.[(((((triple4 triple5) -> rule4) ((triple5) -> rule8)) -> rule2) OR ((((triple4 triple5) -> rule4) ((((triple4 triple5) -> rule4)) -> rule3)) -> rule2))] @3: Charlie is green.[(((triple3 ((((triple1 triple3) -> rule4) triple2) -> rule2)) -> rule7) OR ((triple3 ((((triple1 triple3) -> rule4) ((triple3) -> rule8)) -> rule2)) -> rule7))] Charlie is smart.[(((((((triple1 triple3) -> rule4) triple2) -> rule2)) -> rule6) OR ((((((triple1 triple3) -> rule4) ((triple3) -> rule8)) -> rule2)) -> rule6))] Dave is green.[(((triple5 ((((triple4 triple5) -> rule4) ((triple5) -> rule8)) -> rule2)) -> rule7) OR ((triple5 ((((triple4 triple5) -> rule4) ((((triple4 triple5) -> rule4)) -> rule3)) -> rule2)) -> rule7))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
((triple3) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
((((((triple4 triple5) -> (rule4 % int4)) ((triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple4 triple5) -> (rule4 % int4)) ((((triple4 triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
triple7
((triple9 triple11) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple8) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple8
((triple11 ((triple7 triple10) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((triple11 ((triple7 ((triple11) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple11 ((((triple9 triple11) -> (rule4 % int3)) triple10) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple11 ((((triple9 triple11) -> (rule4 % int4)) ((triple11) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
triple9
((triple8) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple11 ((triple7 triple10) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple11 ((triple7 ((triple11) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
triple10
((triple11) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
((((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple7 triple10) -> (rule2 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple7 ((triple11) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple9 triple11) -> (rule4 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple9 triple11) -> (rule4 % int4)) ((triple11) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple8) -> (rule5 % int4)) triple11) -> (rule4 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple8) -> (rule5 % int5)) triple11) -> (rule4 % int4)) ((triple11) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
((triple1 triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple4 triple5) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple5) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple4 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
((triple8) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple7 triple10) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple7 ((triple11) -> (rule8 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple9 triple11) -> (rule4 % int2)) triple10) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple9 triple11) -> (rule4 % int3)) ((triple11) -> (rule8 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple8) -> (rule5 % int3)) triple11) -> (rule4 % int2)) triple10) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple8) -> (rule5 % int4)) triple11) -> (rule4 % int3)) ((triple11) -> (rule8 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
((((triple1 triple3) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple1 triple3) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
((((triple4 triple5) -> (rule4 % int3)) ((triple5) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple4 triple5) -> (rule4 % int3)) ((((triple4 triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((triple3 ((((triple1 triple3) -> (rule4 % int3)) triple2) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple3 ((((triple1 triple3) -> (rule4 % int4)) ((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
((((((triple1 triple3) -> (rule4 % int3)) triple2) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple1 triple3) -> (rule4 % int4)) ((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
((triple5 ((((triple4 triple5) -> (rule4 % int4)) ((triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((triple5 ((((triple4 triple5) -> (rule4 % int4)) ((((triple4 triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4