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