Dave is big. Dave is cold. Dave is quiet. If something is big then it is quiet. If something is young and rough then it is nice. Green, quiet things are young. If Dave is quiet then Dave is green. If Dave is cold and Dave is quiet then Dave is big. Quiet things are rough.
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
If something is big then it is quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
If something is young and rough then it is nice.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
Green, quiet things are young.
((("something" "is" "green" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If Dave is quiet then Dave is green.
((("Dave" "is" "quiet" "+")) -> ("Dave" "is" "green" "+"))
If Dave is cold and Dave is quiet then Dave is big.
((("Dave" "is" "cold" "+") ("Dave" "is" "quiet" "+")) -> ("Dave" "is" "big" "+"))
Quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
Dave is cold.
True
1
proof
[(triple2)]
("Dave" "is" "cold" "+")
triple2
Dave is not big.
False
1
inv-proof
[(triple1 OR ((triple2 triple3) -> rule5))]
("Dave" "is" "big" "-")
triple1
((triple2 triple3) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
True
2
proof
[(((triple3) -> rule4) OR ((((triple1) -> rule1)) -> rule4))]
("Dave" "is" "green" "+")
((triple3) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is not rough.
False
2
inv-proof
[(((triple3) -> rule6) OR ((((triple1) -> rule1)) -> rule6))]
("Dave" "is" "rough" "-")
((triple3) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is young.
True
4
proof
[(((((triple3) -> rule4) triple3) -> rule3) OR ((((triple3) -> rule4) ((triple1) -> rule1)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) triple3) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule3))]
("Dave" "is" "young" "+")
((((triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2)) ((triple1) -> (rule1 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is not young.
False
4
inv-proof
[(((((triple3) -> rule4) triple3) -> rule3) OR ((((triple3) -> rule4) ((triple1) -> rule1)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) triple3) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule3))]
("Dave" "is" "young" "-")
((((triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2)) ((triple1) -> (rule1 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
True
7
proof
[(((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule2) OR ((((((triple3) -> rule4) ((triple1) -> rule1)) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((((triple3) -> rule4) ((triple1) -> rule1)) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule4) triple3) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule4) triple3) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule2))]
("Dave" "is" "nice" "+")
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
((((((triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4)) ((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple3) -> (rule4 % int5)) ((triple1) -> (rule1 % int4))) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (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 quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple3) -> (rule4 % int5)) ((triple1) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule1 % int4))) -> (rule6 % int2))) -> (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 quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple1) -> (rule1 % int5))) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple1) -> (rule1 % int5))) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((((triple1) -> (rule1 % int5))) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple1) -> (rule1 % int5))) -> (rule4 % int4)) ((triple1) -> (rule1 % int5))) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple1) -> (rule1 % int5))) -> (rule4 % int4)) ((triple1) -> (rule1 % int5))) -> (rule3 % int3)) ((((triple1) -> (rule1 % int5))) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is not nice.
False
7
inv-proof
[(((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule2) OR ((((((triple3) -> rule4) ((triple1) -> rule1)) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((((triple3) -> rule4) ((triple1) -> rule1)) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule4) triple3) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule4) triple3) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule2))]
("Dave" "is" "nice" "-")
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
((((((triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4)) ((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple3) -> (rule4 % int5)) ((triple1) -> (rule1 % int4))) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (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 quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple3) -> (rule4 % int5)) ((triple1) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule1 % int4))) -> (rule6 % int2))) -> (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 quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple1) -> (rule1 % int5))) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple1) -> (rule1 % int5))) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((((triple1) -> (rule1 % int5))) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple1) -> (rule1 % int5))) -> (rule4 % int4)) ((triple1) -> (rule1 % int5))) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple1) -> (rule1 % int5))) -> (rule4 % int4)) ((triple1) -> (rule1 % int5))) -> (rule3 % int3)) ((((triple1) -> (rule1 % int5))) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
@0: Dave is big.[(triple1 OR ((triple2 triple3) -> rule5))] Dave is cold.[(triple2)] Dave is quiet.[(triple3 OR ((triple1) -> rule1))] @1: Dave is green.[(((triple3) -> rule4) OR ((((triple1) -> rule1)) -> rule4))] Dave is rough.[(((triple3) -> rule6) OR ((((triple1) -> rule1)) -> rule6))] @2: Dave is young.[(((((triple3) -> rule4) triple3) -> rule3) OR ((((triple3) -> rule4) ((triple1) -> rule1)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) triple3) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule3))] @3: Dave is nice.[(((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule2) OR ((((((triple3) -> rule4) ((triple1) -> rule1)) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((((triple3) -> rule4) ((triple1) -> rule1)) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule4) triple3) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule4) triple3) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple1
((triple2 triple3) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
((triple1) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple3) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple3) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2)) ((triple1) -> (rule1 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
((((((triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4)) ((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple3) -> (rule4 % int5)) ((triple1) -> (rule1 % int4))) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (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 quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple3) -> (rule4 % int5)) ((triple1) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule1 % int4))) -> (rule6 % int2))) -> (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 quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple1) -> (rule1 % int5))) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple1) -> (rule1 % int5))) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((((triple1) -> (rule1 % int5))) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple1) -> (rule1 % int5))) -> (rule4 % int4)) ((triple1) -> (rule1 % int5))) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple1) -> (rule1 % int5))) -> (rule4 % int4)) ((triple1) -> (rule1 % int5))) -> (rule3 % int3)) ((((triple1) -> (rule1 % int5))) -> (rule6 % int2))) -> (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 green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5