Bob is blue. Bob is quiet. Dave is smart. Gary is quiet. Gary is round. Gary is smart. Gary is white. Harry is big. Harry is blue. Harry is quiet. If Harry is quiet and Harry is round then Harry is smart. All quiet things are round. Round things are blue. If something is round and smart then it is quiet. If something is smart and white then it is nice. If something is big then it is nice. Smart things are white. All blue, smart things are round. White, nice things are quiet.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If Harry is quiet and Harry is round then Harry is smart.
((("Harry" "is" "quiet" "+") ("Harry" "is" "round" "+")) -> ("Harry" "is" "smart" "+"))
All quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something is round and smart then it is quiet.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
If something is smart and white then it is nice.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If something is big then it is nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
Smart things are white.
((("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
All blue, smart things are round.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
White, nice things are quiet.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
Gary is round.
True
1
proof
[(triple5 OR ((triple4) -> rule2) OR ((((triple7 ((triple6 triple7) -> rule5)) -> rule9)) -> rule2) OR ((((((triple6) -> rule7) ((triple6 triple7) -> rule5)) -> rule9)) -> rule2) OR ((((triple7 ((triple6 ((triple6) -> rule7)) -> rule5)) -> rule9)) -> rule2) OR ((((((triple6) -> rule7) ((triple6 ((triple6) -> rule7)) -> rule5)) -> rule9)) -> rule2))]
("Gary" "is" "round" "+")
triple5
((triple4) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple7 ((triple6 triple7) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple6) -> (rule7 % int4)) ((triple6 triple7) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple7 ((triple6 ((triple6) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6) -> (rule7 % int4)) ((triple6 ((triple6) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Dave is not smart.
False
1
inv-proof
[(triple3)]
("Dave" "is" "smart" "-")
triple3
Dave is white.
True
2
proof
[(((triple3) -> rule7))]
("Dave" "is" "white" "+")
((triple3) -> (rule7 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple8) -> rule6) OR ((((triple10 ((triple10) -> rule2)) -> rule1) ((((triple10 ((triple10) -> rule2)) -> rule1)) -> rule7)) -> rule5))]
("Harry" "is" "nice" "-")
((triple8) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple10 ((triple10) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple10 ((triple10) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is smart.
True
4
proof
[(((triple10 ((triple10) -> rule2)) -> rule1))]
("Harry" "is" "smart" "+")
((triple10 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not smart.
False
4
inv-proof
[(((triple10 ((triple10) -> rule2)) -> rule1))]
("Harry" "is" "smart" "-")
((triple10 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
True
5
proof
[(((((triple10 ((triple10) -> rule2)) -> rule1)) -> rule7))]
("Harry" "is" "white" "+")
((((triple10 ((triple10) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Dave is not quiet.
False
7
inv-proof
[(((((triple3) -> rule7) ((triple3 ((triple3) -> rule7)) -> rule5)) -> rule9))]
("Dave" "is" "quiet" "-")
((((triple3) -> (rule7 % int3)) ((triple3 ((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is round.
True
8
proof
[(((((((triple3) -> rule7) ((triple3 ((triple3) -> rule7)) -> rule5)) -> rule9)) -> rule2))]
("Dave" "is" "round" "+")
((((((triple3) -> (rule7 % int4)) ((triple3 ((triple3) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is not round.
False
8
inv-proof
[(((((((triple3) -> rule7) ((triple3 ((triple3) -> rule7)) -> rule5)) -> rule9)) -> rule2))]
("Dave" "is" "round" "-")
((((((triple3) -> (rule7 % int4)) ((triple3 ((triple3) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is blue.
True
9
proof
[(((((((((triple3) -> rule7) ((triple3 ((triple3) -> rule7)) -> rule5)) -> rule9)) -> rule2)) -> rule3))]
("Dave" "is" "blue" "+")
((((((((triple3) -> (rule7 % int5)) ((triple3 ((triple3) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is not blue.
False
9
inv-proof
[(((((((((triple3) -> rule7) ((triple3 ((triple3) -> rule7)) -> rule5)) -> rule9)) -> rule2)) -> rule3))]
("Dave" "is" "blue" "-")
((((((((triple3) -> (rule7 % int5)) ((triple3 ((triple3) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "white" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Bob is blue.[(triple1 OR ((((triple2) -> rule2)) -> rule3))] Bob is quiet.[(triple2)] Dave is smart.[(triple3)] Gary is quiet.[(triple4 OR ((triple5 triple6) -> rule4) OR ((triple7 ((triple6 triple7) -> rule5)) -> rule9) OR ((((triple6) -> rule7) ((triple6 triple7) -> rule5)) -> rule9) OR ((triple7 ((triple6 ((triple6) -> rule7)) -> rule5)) -> rule9) OR ((((triple6) -> rule7) ((triple6 ((triple6) -> rule7)) -> rule5)) -> rule9))] Gary is round.[(triple5 OR ((triple4) -> rule2) OR ((((triple7 ((triple6 triple7) -> rule5)) -> rule9)) -> rule2) OR ((((((triple6) -> rule7) ((triple6 triple7) -> rule5)) -> rule9)) -> rule2) OR ((((triple7 ((triple6 ((triple6) -> rule7)) -> rule5)) -> rule9)) -> rule2) OR ((((((triple6) -> rule7) ((triple6 ((triple6) -> rule7)) -> rule5)) -> rule9)) -> rule2))] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple6) -> rule7))] Harry is big.[(triple8)] Harry is blue.[(triple9 OR ((((triple10) -> rule2)) -> rule3))] Harry is quiet.[(triple10)] @1: Bob is round.[(((triple2) -> rule2))] Dave is white.[(((triple3) -> rule7))] Gary is blue.[(((triple5) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((((triple7 ((triple6 triple7) -> rule5)) -> rule9)) -> rule2)) -> rule3) OR ((((((((triple6) -> rule7) ((triple6 triple7) -> rule5)) -> rule9)) -> rule2)) -> rule3) OR ((((((triple7 ((triple6 ((triple6) -> rule7)) -> rule5)) -> rule9)) -> rule2)) -> rule3) OR ((((((((triple6) -> rule7) ((triple6 ((triple6) -> rule7)) -> rule5)) -> rule9)) -> rule2)) -> rule3))] Gary is nice.[(((triple6 triple7) -> rule5) OR ((triple6 ((triple6) -> rule7)) -> rule5))] Harry is nice.[(((triple8) -> rule6) OR ((((triple10 ((triple10) -> rule2)) -> rule1) ((((triple10 ((triple10) -> rule2)) -> rule1)) -> rule7)) -> rule5))] Harry is round.[(((triple10) -> rule2))] @2: Dave is nice.[(((triple3 ((triple3) -> rule7)) -> rule5))] Harry is smart.[(((triple10 ((triple10) -> rule2)) -> rule1))] @3: Dave is quiet.[(((((triple3) -> rule7) ((triple3 ((triple3) -> rule7)) -> rule5)) -> rule9))] Harry is white.[(((((triple10 ((triple10) -> rule2)) -> rule1)) -> rule7))] @4: Dave is round.[(((((((triple3) -> rule7) ((triple3 ((triple3) -> rule7)) -> rule5)) -> rule9)) -> rule2))] @5: Dave is blue.[(((((((((triple3) -> rule7) ((triple3 ((triple3) -> rule7)) -> rule5)) -> rule9)) -> rule2)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
((triple5 triple6) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple7 ((triple6 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple6) -> (rule7 % int3)) ((triple6 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple7 ((triple6 ((triple6) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple6) -> (rule7 % int3)) ((triple6 ((triple6) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
triple5
((triple4) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple7 ((triple6 triple7) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple6) -> (rule7 % int4)) ((triple6 triple7) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple7 ((triple6 ((triple6) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6) -> (rule7 % int4)) ((triple6 ((triple6) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
((triple6) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Bob is round.
("Bob" "is" "round" "+")
((triple2) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple3) -> (rule7 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple5) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((((triple7 ((triple6 triple7) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple6) -> (rule7 % int5)) ((triple6 triple7) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((triple7 ((triple6 ((triple6) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple6) -> (rule7 % int5)) ((triple6 ((triple6) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
((triple6 triple7) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple6 ((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple8) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple10 ((triple10) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple10 ((triple10) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
((triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple3 ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((triple10 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple3) -> (rule7 % int3)) ((triple3 ((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((((triple10 ((triple10) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
((((((triple3) -> (rule7 % int4)) ((triple3 ((triple3) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
((((((((triple3) -> (rule7 % int5)) ((triple3 ((triple3) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5